Imagen de Portada

Logic Sketch Prompting (LSP): A Deterministic and Interpretable Prompting Method

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Tripathi, Satvik
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence Machine Learning Logic in Computer Science Symbolic Computation
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories
por: Bavikadi, Divyagna, et al.
Publicado: (2025)

Analogical proportions
por: Antić, Christian
Publicado: (2020)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
por: Jakubův, Jan, et al.
Publicado: (2024)

VeriFlow: Modeling Distributions for Neural Network Verification
por: Zaid, Faried Abu, et al.
Publicado: (2024)

Boolean Matrix Logic Programming on the GPU
por: Ai, Lun
Publicado: (2024)

Power Term Polynomial Algebra for Boolean Logic
por: Sansone, Emanuele, et al.
Publicado: (2026)

Integrating Fuzzy Logic into Deep Symbolic Regression
por: Gerdes, Wout, et al.
Publicado: (2024)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
por: Shahid, Mahnoor, et al.
Publicado: (2026)

SMLP: Symbolic Machine Learning Prover (User Manual)
por: Brauße, Franz, et al.
Publicado: (2024)

SMLP: Symbolic Machine Learning Prover
por: Brauße, Franz, et al.
Publicado: (2024)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
por: Luo, Ziyan, et al.
Publicado: (2023)

Learning Guided Automated Reasoning: A Brief Survey
por: Blaauwbroek, Lasse, et al.
Publicado: (2024)

Learning Conjecturing from Scratch
por: Gauthier, Thibault, et al.
Publicado: (2025)

A Theoretical Review on Solving Algebra Problems
por: Yu, Xinguo, et al.
Publicado: (2024)

A general optimization solver based on OP-to-MaxSAT reduction
por: Zhao, Yuxin, et al.
Publicado: (2026)

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
por: Ding, Tianyi, et al.
Publicado: (2025)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
por: Shrager, Jeff
Publicado: (2026)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
por: Defresne, Marianne, et al.
Publicado: (2025)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
por: Qureshi, Haya Majid, et al.
Publicado: (2025)

Automatic Generation of Polynomial Symmetry Breaking Constraints
por: Erascu, Madalina, et al.
Publicado: (2026)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
por: Brown, Chad E., et al.
Publicado: (2026)

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
por: Urban, Josef
Publicado: (2026)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
por: Kaminski, Roland, et al.
Publicado: (2024)

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning
por: Işık, İlker, et al.
Publicado: (2026)

The Scaling Properties of Implicit Deductive Reasoning in Transformers
por: Vompa, Enrico, et al.
Publicado: (2026)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
por: Kop, Cynthia, et al.
Publicado: (2025)

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
por: Ardon, Leo, et al.
Publicado: (2024)

Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts
por: Wang, Kevin, et al.
Publicado: (2026)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
por: Orvalho, Pedro, et al.
Publicado: (2025)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
por: Chen, Michael K.
Publicado: (2025)

Reasoning About Action and Change
por: de Saint-Cyr, Florence Dupin, et al.
Publicado: (2024)

Algebraic anti-unification
por: Antić, Christian
Publicado: (2024)

When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
por: Filipe, João, et al.
Publicado: (2026)

Access Hoare Logic
por: Beckmann, Arnold, et al.
Publicado: (2025)

Improving Neural-based Classification with Logical Background Knowledge
por: Ledaguenel, Arthur, et al.
Publicado: (2024)

Scheduling That Speaks: An Interpretable Programmatic Reinforcement Learning Framework
por: Hu, Chengpeng, et al.
Publicado: (2026)

A Local Search Algorithm for MaxSMT(LIA)
por: He, Xiang, et al.
Publicado: (2024)

One-Parametric Presburger Arithmetic has Quantifier Elimination
por: Mansutti, Alessio, et al.
Publicado: (2025)

Formal Verification of Parameterized Systems based on Induction
por: Xiu, Jiaqi, et al.
Publicado: (2025)

Nominal Equational Rewriting and Narrowing
por: Ayala-Rincón, Mauricio, et al.
Publicado: (2025)