2 results found Sort:

tongyx361
Awesome-LLM4Math tongyx361
4
119
mit
3
Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied with elaborately-written concise descriptions to help readers get ...
llm ai4math llm4math mathematics
Created 2024-04-18
26 commits to main branch, last one 8 months ago
nl4opt
ORQA nl4opt
0
53
unknown
1
[AAAI 2025] ORQA is a new QA benchmark designed to assess the reasoning capabilities of LLMs in a specialized technical domain of Operations Research. The benchmark evaluates whether LLMs can emulate ...
llm ai4or llm4or llm4opt aaai2025 llm4math multi-choice optimization llm-reasoning llm-benchmarking linear-programming operations-research mathematical-modelling mixed-integer-programming
Created 2024-12-21
18 commits to main branch, last one 6 days ago