eWeek

ChatGPT Comes to Excel as OpenAI Rolls Out GPT-5.4-Powered Spreadsheet Tools

OpenAI launches ChatGPT for Excel powered by GPT-5.4, enabling users to build, update, and analyze spreadsheet models using plain language.
IEEE

A Two-Stage Mixed Integer Programming Model for Distributionally Robust State-Based Non-Intrusive Load Monitoring

Abstract: This paper presents a non-intrusive load monitoring (NILM) model based on two-stage mixed-integer linear programming theory. Compared with other mixed integer optimization-based models, this ...
IEEE

Constraint Programming Based Model and Algorithm for Solving Steelmaking and Continuous Casting Scheduling Problem with Adjustable Casting Time

Abstract: The Steelmaking-Continuous Casting (SCC) scheduling problem is usually regarded as a type of hybrid flow-shop scheduling problems (HFSP) with special process constraints. To research the SCC ...
GitHub

ProverGen: A Framework for First-Order Logic Reasoning Dataset Generation

ProverGen is a novel framework that synergizes the generative strengths of Large Language Models (LLMs) with the rigor and precision of symbolic provers to create scalable, diverse, and high-quality ...