← Mathematics & Optimization

Mathematics & Optimization ›

Mathematics

8 directly classified papers

Subtopics

Graph Theory (1375) Statistics (1219) Probability (1043) Geometry (720) Information Theory (495) Linear Algebra (480) Discrete Mathematics (458) Numerical Analysis (294) Stochastic Processes (92) Algebra (68) Signal Processing (67) Topology (41) Functional Analysis (23) Logic (13) Differential Equations (6)

Papers per year

Papers

Consistent Autoformalization for Constructing Mathematical Libraries EMNLP 2024

MathBench: Evaluating the Theory and Application Proficiency of LLMs with a Hierarchical Mathematics Benchmark ACL 2024

Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers NIPS 2024

Machines of Finite Depth: Towards a Formalization of Neural Networks AAAI 2023

FACT: Learning Governing Abstractions Behind Integer Sequences NIPS 2022

Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs EMNLP 2022

Non-Euclidean Universal Approximation NIPS 2020

Premise Selection in Natural Language Mathematical Texts ACL 2020