Buchumschlag

Geometric Reasoning in the Embedding Space

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hůla, Jan, Mojžíšek, David, Janeček, Jiří, Herel, David, Janota, Mikoláš
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
von: Hůla, Jan, et al.
Veröffentlicht: (2024)

Neural Approaches to SAT Solving: Design Choices and Interpretability
von: Mojžíšek, David, et al.
Veröffentlicht: (2025)

Minimizing the Weighted Number of Tardy Jobs: Data-Driven Heuristic for Single-Machine Scheduling
von: Antonov, Nikolai, et al.
Veröffentlicht: (2025)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
von: Jakubův, Jan, et al.
Veröffentlicht: (2024)

Machine Learning for Quantifier Selection in cvc5
von: Jakubův, Jan, et al.
Veröffentlicht: (2024)

Experimental Results for Vampire on the Equational Theories Project
von: Janota, Mikoláš
Veröffentlicht: (2025)

Quantifier Instantiations: To Mimic or To Revolt?
von: Jakubův, Jan, et al.
Veröffentlicht: (2025)

On Difficulties of Attention Factorization through Shared Memory
von: Yorsh, Uladzislau, et al.
Veröffentlicht: (2024)

Alquist 5.0: Dialogue Trees Meet Generative Models. A Novel Approach for Enhancing SocialBot Conversations
von: Kobza, Ondřej, et al.
Veröffentlicht: (2023)

Rethinking Thinking Tokens: Understanding Why They Underperform in Practice
von: Vennam, Sreeram, et al.
Veröffentlicht: (2024)

Directed Evolution of Proteins via Bayesian Optimization in Embedding Space
von: Soldát, Matouš, et al.
Veröffentlicht: (2025)

Breaking Symmetries with Involutions
von: Codish, Michael, et al.
Veröffentlicht: (2025)

Breaking Symmetries from a Set-Covering Perspective
von: Codish, Michael, et al.
Veröffentlicht: (2025)

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
von: Janota, Mikoláš, et al.
Veröffentlicht: (2026)

First Experiments with Neural cvc5
von: Piepenbrock, Jelle, et al.
Veröffentlicht: (2025)

Calibrated Similarity for Reliable Geometric Analysis of Embedding Spaces
von: Tacheny, Nicolas
Veröffentlicht: (2026)

Geometric Organization of Cognitive States in Transformer Embedding Spaces
von: Zhao, Sophie
Veröffentlicht: (2025)

A Universal Textual Merge Strategy Based on Tokens for Version Control Systems
von: Gu, Qiqi Jason, et al.
Veröffentlicht: (2026)

Towards Learning Infinite SMT Models (Work in Progress)
von: Janota, Mikoláš, et al.
Veröffentlicht: (2025)

From MBQI to Enumerative Instantiation and Back
von: Dančo, Marek, et al.
Veröffentlicht: (2025)

Cube-based Isomorph-free Finite Model Finding
von: Chow, Choiwah, et al.
Veröffentlicht: (2025)

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
von: Orvalho, Pedro, et al.
Veröffentlicht: (2024)

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
von: Orvalho, Pedro, et al.
Veröffentlicht: (2024)

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
von: Orvalho, Pedro, et al.
Veröffentlicht: (2022)

GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
von: Orvalho, Pedro, et al.
Veröffentlicht: (2024)

Case Study: Saturations as Explicit Models in Equational Theories
von: Janota, Mikoláš, et al.
Veröffentlicht: (2026)

NoisyCoconut: Counterfactual Consensus via Latent Space Reasoning
von: Jerge, Michael, et al.
Veröffentlicht: (2026)

Towards an Understanding of Stepwise Inference in Transformers: A Synthetic Graph Navigation Model
von: Khona, Mikail, et al.
Veröffentlicht: (2024)

An Information-Geometric Distance on the Space of Tasks
von: Gao, Yansong, et al.
Veröffentlicht: (2020)

Soft Prompt Threats: Attacking Safety Alignment and Unlearning in Open-Source LLMs through the Embedding Space
von: Schwinn, Leo, et al.
Veröffentlicht: (2024)

Geometric Analysis of Reasoning Trajectories: A Phase Space Approach to Understanding Valid and Invalid Multi-Hop Reasoning in LLMs
von: Marin, Javier
Veröffentlicht: (2024)

Geometric Relational Embeddings
von: Xiong, Bo
Veröffentlicht: (2024)

Geometric Moment Alignment for Domain Adaptation via Siegel Embeddings
von: Gharib, Shayan, et al.
Veröffentlicht: (2025)

Symbolic Computation for All the Fun
von: Brown, Chad E., et al.
Veröffentlicht: (2024)

PLM-eXplain: Divide and Conquer the Protein Embedding Space
von: van Eck, Jan, et al.
Veröffentlicht: (2025)

Time Awareness in Large Language Models: Benchmarking Fact Recall Across Time
von: Herel, David, et al.
Veröffentlicht: (2024)

Multimodal Latent Reasoning via Predictive Embeddings
von: Adhikari, Ashutosh, et al.
Veröffentlicht: (2026)

SKGE: Spherical Knowledge Graph Embedding with Geometric Regularization
von: Quan, Xuan-Truong, et al.
Veröffentlicht: (2025)

Geometric Principles for Machine Learning of Dynamical Systems
von: Conti, Zack Xuereb, et al.
Veröffentlicht: (2025)

Node Embeddings via Neighbor Embeddings
von: Böhm, Jan Niklas, et al.
Veröffentlicht: (2025)