Buchumschlag

Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Turan, Berkant, Asadulla, Suhrab, Steinmann, David, Kersting, Kristian, Stammer, Wolfgang, Pokutta, Sebastian
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning Artificial Intelligence 68T01, 68T07 I.2.6
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Multipole Semantic Attention: A Fast Approximation of Softmax Attention for Pretraining
von: Mitchell, Rupert, et al.
Veröffentlicht: (2025)

CLMN: Concept based Language Models via Neural Symbolic Reasoning
von: Yang, Yibo
Veröffentlicht: (2025)

Graph Transformers: A Survey
von: Shehzad, Ahsan, et al.
Veröffentlicht: (2024)

On Privacy Leakage in Tabular Diffusion Models: Influential Factors, Attacker Knowledge, and Metrics
von: Shafieinejad, Masoumeh, et al.
Veröffentlicht: (2026)

Reproducibility and Geometric Intrinsic Dimensionality: An Investigation on Graph Neural Network Research
von: Hille, Tobias, et al.
Veröffentlicht: (2024)

Developing Explainable Machine Learning Model using Augmented Concept Activation Vector
von: Hassanpour, Reza, et al.
Veröffentlicht: (2024)

The Concept Allocation Zone: Tracking How Concepts Form Across Transformer Depth
von: Henry, James
Veröffentlicht: (2026)

From Features to Graphs: Exploring Graph Structures and Pairwise Interactions via GNNs
von: Yamchote, Phaphontee, et al.
Veröffentlicht: (2025)

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

A Constraint-Preserving Neural Network Approach for Solving Mean-Field Games Equilibrium
von: Liu, Jinwei, et al.
Veröffentlicht: (2025)

Concept Prerequisite Relation Prediction by Using Permutation-Equivariant Directed Graph Neural Networks
von: Qu, Xiran, et al.
Veröffentlicht: (2023)

Partitioned Neural Network Training via Synthetic Intermediate Labels
von: Karadağ, Cevat Volkan, et al.
Veröffentlicht: (2024)

Recent Advances in Data-Driven Business Process Management
von: Ackermann, Lars, et al.
Veröffentlicht: (2024)

Frequency Principle: Fourier Analysis Sheds Light on Deep Neural Networks
von: Xu, Zhi-Qin John, et al.
Veröffentlicht: (2019)

Lost or Hidden? A Concept-Level Forgetting in Supervised Continual Learning
von: Filus, Katarzyna, et al.
Veröffentlicht: (2026)

Attention Please: What Transformer Models Really Learn for Process Prediction
von: Käppel, Martin, et al.
Veröffentlicht: (2024)

The Domain Mixed Unit: A New Neural Arithmetic Layer
von: Curry, Paul
Veröffentlicht: (2025)

Agentic Discovery of Neural Architectures: AIRA-Compose and AIRA-Design
von: Pepe, Alberto, et al.
Veröffentlicht: (2026)

From Attribution to Action: A Human-Centered Application of Activation Steering
von: Labarta, Tobias, et al.
Veröffentlicht: (2026)

Step-Aware Residual-Guided Diffusion for EEG Spatial Super-Resolution
von: Liu, Hongjun, et al.
Veröffentlicht: (2025)

Correction and Corruption: A Two-Rate View of Error Flow in LLM Protocols
von: Reitich, Fernando
Veröffentlicht: (2026)

Distinguished In Uniform: Self Attention Vs. Virtual Nodes
von: Rosenbluth, Eran, et al.
Veröffentlicht: (2024)

SafeAgent: Safeguarding LLM Agents via an Automated Risk Simulator
von: Zhou, Xueyang, et al.
Veröffentlicht: (2025)

Evaluating Model-Agnostic Meta-Learning on MetaWorld ML10 Benchmark: Fast Adaptation in Robotic Manipulation Tasks
von: Atamuradov, Sanjar
Veröffentlicht: (2025)

IntSeqBERT: Learning Arithmetic Structure in OEIS via Modulo-Spectrum Embeddings
von: Nakasho, Kazuhisa
Veröffentlicht: (2026)

FeNeC: Enhancing Continual Learning via Feature Clustering with Neighbor- or Logit-Based Classification
von: Książek, Kamil, et al.
Veröffentlicht: (2025)

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

Neural Encoding for Image Recall: Human-Like Memory
von: Foussereau, Virgile, et al.
Veröffentlicht: (2024)

Graph2Tac: Online Representation Learning of Formal Math Concepts
von: Blaauwbroek, Lasse, et al.
Veröffentlicht: (2024)

Lost in Aggregation: On a Fundamental Expressivity Limit of Message-Passing Graph Neural Networks
von: Rosenbluth, Eran
Veröffentlicht: (2026)

Repetition Makes Perfect: Recurrent Graph Neural Networks Match Message-Passing Limit
von: Rosenbluth, Eran, et al.
Veröffentlicht: (2025)

Geometric Evolution Maps: Extracting Stable Concept Probes from Transformer Residual Streams
von: Henry, James
Veröffentlicht: (2026)

Multi-objective Hyperparameter Optimization in the Age of Deep Learning
von: Basu, Soham, et al.
Veröffentlicht: (2025)

An Interpretable Rule Creation Method for Black-Box Models based on Surrogate Trees -- SRules
von: Verdasco, Mario Parrón, et al.
Veröffentlicht: (2024)

E$^2$M: Double Bounded $α$-Divergence Optimization for Tensor-based Discrete Density Estimation
von: Ghalamkari, Kazu, et al.
Veröffentlicht: (2024)

Harnessing non-adversarial robustness in large language models
von: Zhou, Qinghua, et al.
Veröffentlicht: (2026)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
von: Platzer, André
Veröffentlicht: (2024)

Advances in Set Function Learning: A Survey of Techniques and Applications
von: Xie, Jiahao, et al.
Veröffentlicht: (2025)

Backpropagation Through Time For Networks With Long-Term Dependencies
von: Bird, George, et al.
Veröffentlicht: (2021)

Game-Theoretic Gradient Control for Robust Neural Network Training
von: Zaitseva, Maria, et al.
Veröffentlicht: (2025)