Renรฉ's URL Explorer Experiment


Title: IneqMath: Solving Inequality Proofs with Large Language Models

Description: IneqMath: Solving Inequality Proofs with Large Language Models

Keywords:

direct link

Domain: ineqmath.github.io

Links:

https://lupantech.github.io/
AgentFlow ๐Ÿ”ฅ https://agentflow.stanford.edu/
OctoTools ๐Ÿ”ฅ https://octotools.github.io/
TextGrad ๐Ÿ”ฅ https://textgrad.com/
MathVista ๐Ÿ”ฅ https://mathvista.github.io/
MathVerse ๐Ÿ”ฅ https://mathverse-cuhk.github.io/
PromptPG ๐Ÿ”ฅ https://promptpg.github.io/
Inter-GPS ๐Ÿ”ฅ https://lupantech.github.io/inter-gps/
TheoremQA ๐Ÿ”ฅ https://arxiv.org/abs/2305.12524
DL4Math ๐Ÿ”ฅ https://github.com/lupantech/dl4math
Introductionhttps://ineqmath.github.io/#introduction
IneqMath Exampleshttps://ineqmath.github.io/#examples
Informal Judgeshttps://ineqmath.github.io/#judges
IneqMath Leaderboardhttps://ineqmath.github.io/#leaderboard
Dataset Overviewhttps://ineqmath.github.io/#dataset-overview
Visualizationhttps://ineqmath.github.io/#visualization
Experimental Resultshttps://ineqmath.github.io/#results
BibTeXhttps://ineqmath.github.io/#BibTeX
Pan Luhttps://lupantech.github.io/
Jiayi Shenghttps://ineqmath.github.io/
Luna Lyuhttps://ineqmath.github.io/
Jikai Jinhttps://jkjin.com/
Tony Xiahttps://tonyxia2001.github.io/
Alex Guhttps://minimario.github.io/
James Zouhttps://www.james-zou.com/
arXiv https://arxiv.org/abs/2506.07927
Code https://github.com/lupantech/ineqmath
Data https://huggingface.co/datasets/AI4Math/IneqMath
Evaluation https://huggingface.co/spaces/AI4Math/IneqMath-Leaderboard
Wiki https://deepwiki.com/lupantech/ineqmath
๐Ÿ† Leaderboard https://ineqmath.github.io/#leaderboard
๐Ÿ”ฎ Visual https://ineqmath.github.io/#visualization
Media https://x.com/lupantech/status/1932866286427779586
evaluation platformhttps://huggingface.co/spaces/AI4Math/IneqMath-Leaderboard
https://www.stanford.edu/
https://ai.stanford.edu/
https://hai.stanford.edu//
https://www.berkeley.edu/
https://www.mit.edu/
Nerfieshttps://nerfies.github.io/
MathVistahttps://mathvista.github.io/
Creative Commons Attribution-ShareAlike 4.0 International Licensehttp://creativecommons.org/licenses/by-sa/4.0/

Viewport: width=device-width, initial-scale=1

URLs of crawlers that visited me.