math-reasoning topic
List
math-reasoning repositories
trafficstars
ineqmath
52
Stars
7
Forks
Watchers
Solving Inequality Proofs with Large Language Models.
