$Imagen de Portada$

Graph2Tac: Online Representation Learning of Formal Math Concepts

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Blaauwbroek, Lasse, Olšák, Miroslav, Rute, Jason, Massolo, Fidel Ivan Schaposnik, Piepenbrock, Jelle, Pestun, Vasily
Formato:	Preprint
Publicado:	2024
Materias:	Machine Learning Artificial Intelligence 68T07 (Primary) 68V15 (Secondary) I.2.3; I.2.6
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Thinking Machines: Mathematical Reasoning in the Age of LLMs
por: Asperti, Andrea, et al.
Publicado: (2025)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
por: Platzer, André
Publicado: (2024)

LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics
por: Peyronnet, Antoine, et al.
Publicado: (2026)

CellARC: Measuring Intelligence with Cellular Automata
por: Lžičař, Miroslav
Publicado: (2025)

Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
por: Firsching, Moritz, et al.
Publicado: (2026)

Complex-Valued Phase-Coherent Transformer
por: Hioki, Leona
Publicado: (2026)

AI Agents-as-Judge: Automated Assessment of Accuracy, Consistency, Completeness and Clarity for Enterprise Documents
por: Dasgupta, Sudip, et al.
Publicado: (2025)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
por: Farmer, William M.
Publicado: (2026)

When Does Content-Based Routing Work? Representation Requirements for Selective Attention in Hybrid Sequence Models
por: Basu, Abhinaba
Publicado: (2026)

The Concept Allocation Zone: Tracking How Concepts Form Across Transformer Depth
por: Henry, James
Publicado: (2026)

CLMN: Concept based Language Models via Neural Symbolic Reasoning
por: Yang, Yibo
Publicado: (2025)

PathFormer: A Transformer with 3D Grid Constraints for Digital Twin Robot-Arm Trajectory Generation
por: Alanazi, Ahmed, et al.
Publicado: (2025)

Evaluating Model-Agnostic Meta-Learning on MetaWorld ML10 Benchmark: Fast Adaptation in Robotic Manipulation Tasks
por: Atamuradov, Sanjar
Publicado: (2025)

Deep Vision: A Formal Proof of Wolstenholmes Theorem in Lean 4
por: Linhares, Alexandre
Publicado: (2026)

Causal Dimensionality of Transformer Representations: Measurement, Scaling, and Layer Structure
por: Sarkar, Nilesh, et al.
Publicado: (2026)

Harnessing non-adversarial robustness in large language models
por: Zhou, Qinghua, et al.
Publicado: (2026)

Agentic UAVs: LLM-Driven Autonomy with Integrated Tool-Calling and Cognitive Reasoning
por: Koubaa, Anis, et al.
Publicado: (2025)

Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium
por: Ilin, Vasily
Publicado: (2026)

Reference-Guided Verdict: LLMs-as-Judges in Automatic Evaluation of Free-Form QA
por: Badshah, Sher, et al.
Publicado: (2024)

Representation of the structure of graphs by sequences of instructions
por: Lopez-Rubio, Ezequiel
Publicado: (2025)

The Inhibitor: ReLU and Addition-Based Attention for Efficient Transformers under Fully Homomorphic Encryption on the Torus
por: Brännvall, Rickard, et al.
Publicado: (2023)

Agentic Discovery of Neural Architectures: AIRA-Compose and AIRA-Design
por: Pepe, Alberto, et al.
Publicado: (2026)

An Improved Adaptive PID Optimizer with Enhanced Convergence and Stability for Deep Learning
por: Saini, Saurabh, et al.
Publicado: (2026)

MedMemoryBench: Benchmarking Agent Memory in Personalized Healthcare
por: Wang, Yihao, et al.
Publicado: (2026)

MAcPNN: Mutual Assisted Learning on Data Streams with Temporal Dependence
por: Giannini, Federico, et al.
Publicado: (2026)

NOTAI.AI: Explainable Detection of Machine-Generated Text via Curvature and Feature Attribution
por: Breneur, Oleksandr Marchenko, et al.
Publicado: (2026)

Rethinking the Multilingual Reasoning Gap with Layer Swap
por: Lasbordes, Maxence, et al.
Publicado: (2026)

Territory Paint Wars: Diagnosing and Mitigating Failure Modes in Competitive Multi-Agent PPO
por: Singh, Diyansha
Publicado: (2026)

Deep Hedging Under Non-Convexity: Limitations and a Case for AlphaZero
por: Maggiolo, Matteo, et al.
Publicado: (2025)

Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems
por: Berman, Shmuel, et al.
Publicado: (2024)

The Transformative Influence of LLMs on Software Development & Developer Productivity
por: Jalil, Sajed
Publicado: (2023)

SafeAnchor: Preventing Cumulative Safety Erosion in Continual Domain Adaptation of Large Language Models
por: Guo, Dongxin, et al.
Publicado: (2026)

Unpacking Hateful Memes: Presupposed Context and False Claims
por: Cai, Weibin, et al.
Publicado: (2025)

Vis-CoT: A Human-in-the-Loop Framework for Interactive Visualization and Intervention in LLM Chain-of-Thought Reasoning
por: Pather, Kaviraj, et al.
Publicado: (2025)

Mitigating LLM Hallucinations through Domain-Grounded Tiered Retrieval
por: Haque, Md. Asraful, et al.
Publicado: (2026)

Customizing Graph Neural Networks using Path Reweighting
por: Chen, Jianpeng, et al.
Publicado: (2021)

From Features to Graphs: Exploring Graph Structures and Pairwise Interactions via GNNs
por: Yamchote, Phaphontee, et al.
Publicado: (2025)

Sentiment Analysis of Lithuanian Online Reviews Using Large Language Models
por: Vileikytė, Brigita, et al.
Publicado: (2024)

BRIDGE: Building Representations In Domain Guided Program Synthesis
por: George, Robert Joseph, et al.
Publicado: (2025)

KL-Regularised Q-Learning: A Token-level Action-Value perspective on Online RLHF
por: Brown, Jason R, et al.
Publicado: (2025)