The use of large language models for code generation is a rapidly growing trend in software
development. However, without effective methods for ensuring the correctness of generated …

Theorem proving is a fundamental aspect of mathematics, spanning from informal reasoning
in mathematical language to rigorous derivations in formal systems. In recent years, the …

Inference-time alignment enhances the performance of large language models without
requiring additional training or fine-tuning but presents challenges due to balancing …

Library learning is the process of building a library of common functionalities from a given
set of programs. Typically, this process is applied in the context of aiding program synthesis …

Creating high-quality scientific figures can be time-consuming and challenging, even though
sketching ideas on paper is relatively easy. Furthermore, recreating existing figures that are …

The use of large language models for code generation is a rapidly growing trend in software
development. However, without effective methods for ensuring the correctness of generated …

People are incredibly flexible and efficient inductive reasoners. On the other hand, current
approaches in program synthesis show strong domain-specific performance, but are both …