Fields

Pick a domain and keep going deeper: field, subfield, topic. Every step lists the papers at that point or below it. The counts are papers that are accepted or in review; papers that were not accepted are in the full library.

Mathematical and algorithmic reasoning (theorem proving, math benchmarks, algorithmic generalisation, neural solvers) 0

Neural and LLM-based formal theorem proving 0
Mathematical reasoning benchmarks for language models 0
Algorithmic reasoning, length generalisation and program synthesis 0
Neural combinatorial optimisation (routing, scheduling, SAT, MILP) 0

Domain

Mathematics and reasoning

Formal proof, mathematical problem solving, algorithmic generalisation and learned solvers for combinatorial problems.

Fields

Mathematics and reasoning

No papers here yet