$Copertina$

Graph2Tac: Online Representation Learning of Formal Math Concepts

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Blaauwbroek, Lasse, Olšák, Miroslav, Rute, Jason, Massolo, Fidel Ivan Schaposnik, Piepenbrock, Jelle, Pestun, Vasily
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Artificial Intelligence 68T07 (Primary) 68V15 (Secondary) I.2.3; I.2.6
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Complex-Valued Phase-Coherent Transformer
di: Hioki, Leona
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
di: Platzer, André
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Enhancing Ultra-Low-Bit Quantization of Large Language Models Through Saliency-Aware Partial Retraining
di: Cao, Deyu, et al.
Pubblicazione: (2025)

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

A Landmark-Aware Visual Navigation Dataset
di: Johnson, Faith, et al.
Pubblicazione: (2024)

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

Lost or Hidden? A Concept-Level Forgetting in Supervised Continual Learning
di: Filus, Katarzyna, et al.
Pubblicazione: (2026)

ProactBench: Beyond What The User Asked For
di: Harfi, Sepehr, et al.
Pubblicazione: (2026)

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

GLL: A Differentiable Graph Learning Layer for Neural Networks
di: Brown, Jason, et al.
Pubblicazione: (2024)

JAM: Controllable and Responsible Text Generation via Causal Reasoning and Latent Vector Manipulation
di: Huang, Yingbing, et al.
Pubblicazione: (2025)

Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings
di: Turan, Berkant, et al.
Pubblicazione: (2025)

PennyCoder: Efficient Domain-Specific LLMs for PennyLane-Based Quantum Code Generation
di: Basit, Abdul, et al.
Pubblicazione: (2025)

TowerVision: Understanding and Improving Multilinguality in Vision-Language Models
di: Viveiros, André G., et al.
Pubblicazione: (2025)

Approaches to Semantic Textual Similarity in Slovak Language: From Algorithms to Transformers
di: Radosky, Lukas, et al.
Pubblicazione: (2026)