Papers with Code 아카이브
Abstract Algebra
태스크의 하위 분류와 논문·코드·평가·기법·데이터셋을 탐색하세요.
- 하위 태스크
- 0
- 평가표
- 1
- 보존된 평가 기록
- 1
논문
이 태스크와 하위 분야의 관련 논문입니다. 실제 성능 비교는 평가 결과에서 확인하세요.
Effectiveness of Zero-shot-CoT in Japanese Prompts
Algebraic Machine Learning: Learning as computing an algebraic decomposition of a task
LeanAgent: Lifelong Learning for Formal Theorem Proving
Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
Automated Planning Techniques for Elementary Proofs in Abstract Algebra
Data valuation: The partial ordinal Shapley value for machine learning
Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
Knowledgebra: An Algebraic Learning Framework for Knowledge Graph
Graph Neural Networks are Dynamic Programmers
Algebraic Learning: Towards Interpretable Information Modeling
Scaling Language Models: Methods, Analysis & Insights from Training Gopher
Artificial Cognitively-inspired Generation of the Notion of Topological Group in the Context of Artificial Mathematical Intelligence
Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning
Vector Space and Matrix Methods in Signal and System Theory
Application of the Ring Theory in the Segmentation of Digital Images
출처: Papers with Code · CC BY-SA 4.0. 아카이브 자료와 새로 수집한 논문은 별도로 관리합니다.