Copertina

Extracting Moore Machines from Transformers using Queries and Counterexamples

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Adriaensen, Rik, Maene, Jaron
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Gradient of Algebraic Model Counting
di: Maene, Jaron, et al.
Pubblicazione: (2025)

ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias
di: Adriaensen, Rik, et al.
Pubblicazione: (2025)

On the Hardness of Probabilistic Neurosymbolic Learning
di: Maene, Jaron, et al.
Pubblicazione: (2024)

Weakly Supervised Segmentation as Semantic-Based Regularization
di: Colamonaco, Stefano, et al.
Pubblicazione: (2026)

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
di: Maene, Jaron, et al.
Pubblicazione: (2024)

Machine Learning for Everyone: Simplifying Healthcare Analytics with BigQuery ML
di: Salari, Mohammad Amir, et al.
Pubblicazione: (2025)

Kernel Affine Hull Machines for Compute-Efficient Query-Side Semantic Encoding
di: Kumar, Mohit, et al.
Pubblicazione: (2026)

Gompertz Linear Units: Leveraging Asymmetry for Enhanced Learning Dynamics
di: Das, Indrashis, et al.
Pubblicazione: (2025)

How Should We Meta-Learn Reinforcement Learning Algorithms?
di: Goldie, Alexander David, et al.
Pubblicazione: (2025)

Query-efficient model evaluation using cached responses
di: Helm, Hayden, et al.
Pubblicazione: (2026)

One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs
di: Li, Yinghui, et al.
Pubblicazione: (2025)

REFACTOR: Learning to Extract Theorems from Proofs
di: Zhou, Jin Peng, et al.
Pubblicazione: (2024)

Module-Aware Parameter-Efficient Machine Unlearning on Transformers
di: Bao, Wenjie, et al.
Pubblicazione: (2025)

BlackBoxToBlueprint: Extracting Interpretable Logic from Legacy Systems using Reinforcement Learning and Counterfactual Analysis
di: Rathore, Vidhi
Pubblicazione: (2025)

TOAST: Transformer Optimization using Adaptive and Simple Transformations
di: Cannistraci, Irene, et al.
Pubblicazione: (2024)

Bayesian Neural Scaling Law Extrapolation with Prior-Data Fitted Networks
di: Lee, Dongwoo, et al.
Pubblicazione: (2025)

Key and Value Weights Are Probably All You Need: On the Necessity of the Query, Key, Value weight Triplet in Self-Attention Transformers
di: Karbevski, Marko, et al.
Pubblicazione: (2025)

Is Complex Query Answering Really Complex?
di: Gregucci, Cosimo, et al.
Pubblicazione: (2024)

One Model, Any Conjunctive Query: Graph Neural Networks for Answering Queries over Incomplete Knowledge Graphs
di: Olejniczak, Krzysztof, et al.
Pubblicazione: (2024)

Beating Transformers using Synthetic Cognition
di: Ibias, Alfredo, et al.
Pubblicazione: (2025)

Conditional Logical Message Passing Transformer for Complex Query Answering
di: Zhang, Chongzhi, et al.
Pubblicazione: (2024)

Multi-Armed Bandits With Best-Action Queries
di: Bacchiocchi, Francesco, et al.
Pubblicazione: (2026)

Extracting Heuristics from Large Language Models for Reward Shaping in Reinforcement Learning
di: Bhambri, Siddhant, et al.
Pubblicazione: (2024)

The FIX Benchmark: Extracting Features Interpretable to eXperts
di: Jin, Helen, et al.
Pubblicazione: (2024)

Counting Still Counts: Understanding Neural Complex Query Answering Through Query Relaxation
di: Brunink, Yannick, et al.
Pubblicazione: (2025)

Beyond Linearity in Attention Projections: The Case for Nonlinear Queries
di: Karbevski, Marko
Pubblicazione: (2026)

Benchmarking World-Model Learning with Environment-Level Queries
di: Warrier, Archana, et al.
Pubblicazione: (2025)

Likelihood-based Sensor Calibration using Affine Transformation
di: Machhamer, Rüdiger, et al.
Pubblicazione: (2023)

Adaptive Querying for Reward Learning from Human Feedback
di: Anand, Yashwanthi, et al.
Pubblicazione: (2024)

SynthStrategy: Extracting and Formalizing Latent Strategic Insights from LLMs in Organic Chemistry
di: Armstrong, Daniel, et al.
Pubblicazione: (2025)

Stroke Prediction using Clinical and Social Features in Machine Learning
di: Chadha, Aidan
Pubblicazione: (2024)

Example-based Explanations for Random Forests using Machine Unlearning
di: Surve, Tanmay, et al.
Pubblicazione: (2024)

TimeSieve: Extracting Temporal Dynamics through Information Bottlenecks
di: Feng, Ninghui, et al.
Pubblicazione: (2024)

Data-driven Methods of Extracting Text Structure and Information Transfer
di: Honna, Shinichi, et al.
Pubblicazione: (2025)

StreamEnsemble: Predictive Queries over Spatiotemporal Streaming Data
di: Chaves, Anderson, et al.
Pubblicazione: (2024)

Querying Easily Flip-flopped Samples for Deep Active Learning
di: Cho, Seong Jin, et al.
Pubblicazione: (2024)

A Foundation Model for Zero-shot Logical Query Reasoning
di: Galkin, Mikhail, et al.
Pubblicazione: (2024)

QUOKA: Query-Oriented KV Selection For Efficient LLM Prefill
di: Jones, Dalton, et al.
Pubblicazione: (2026)

Interactive Query Answering on Knowledge Graphs with Soft Entity Constraints
di: Daza, Daniel, et al.
Pubblicazione: (2025)

Capturing LLM Capabilities via Evidence-Calibrated Query Clustering
di: Wu, Fangzhou, et al.
Pubblicazione: (2026)