Zero-One Integer Programming: Understanding and Practical Examples

Explore zero-one integer programming, a key method in logical problem-solving, using binary choices for optimal decisions in finance, production, and more.
IEEE

LiP-LLM: Integrating Linear Programming and Dependency Graph With Large Language Models for Multi-Robot Task Planning

Abstract: This study proposes LiP-LLM: integrating linear programming and dependency graph with large language models (LLMs) for multi-robot task planning. For multi-robots to efficiently perform ...
IEEE

An Enhanced Trace Ratio Linear Discriminant Analysis for Fault Diagnosis: An Illustrated Example Using HDD Data

Abstract: This paper proposes a pattern recognition method for the fault diagnosis of machinery based on an enhanced trace ratio linear discriminant analysis (ETR-LDA) algorithm. It is an extension of ...
Microsoft

Programming by Examples: PL meets ML

Programming by Examples (PBE) involves synthesizing intended programs in an underlying domain-specific programming language (DSL) from example-based specifications. This new frontier in AI enables ...
Microsoft

FlashFill++: Scaling Programming by Example by Cutting to the Chase

Programming-by-Examples (PBE) involves synthesizing an intended program from a small set of user-provided input-output examples. A key PBE strategy has been to restrict the search to a carefully ...