https://github.com/facebookresearch/minif2f
Measuring Mathematical Problem Solving With the MATH Dataset
태스크의 하위 분류와 논문·코드·평가·기법·데이터셋을 탐색하세요.
관련 논문과 평가 결과에 연결된 구현입니다. 출처에서 확인된 저자 구현에는 공식 코드 표시가 있습니다.
Measuring Mathematical Problem Solving With the MATH Dataset
DRLE: Decentralized Reinforcement Learning at the Edge for Traffic Light Control in the IoV
FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
Solving Quantitative Reasoning Problems with Language Models
Sparks of Artificial General Intelligence: Early experiments with GPT-4
Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic
Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic
출처: Papers with Code · CC BY-SA 4.0. 아카이브 자료와 새로 수집한 논문은 별도로 관리합니다.