An Algebraic Framework for Hierarchical Probabilistic Abstraction
Fuente:
arXiv
Saved in:
| Main Authors: | Upreti, Nijesh, Belle, Vaishak |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Satisfiability Modulo Theory Meets Inductive Logic Programming
by: Upreti, Nijesh, et al.
Published: (2025)
by: Upreti, Nijesh, et al.
Published: (2025)
Neuro-symbolic Weak Supervision: Theory and Semantics
by: Upreti, Nijesh, et al.
Published: (2025)
by: Upreti, Nijesh, et al.
Published: (2025)
Towards Developing Ethical Reasoners: Integrating Probabilistic Reasoning and Decision-Making for Complex AI Systems
by: Upreti, Nijesh, et al.
Published: (2025)
by: Upreti, Nijesh, et al.
Published: (2025)
Logic Tensor Network-Enhanced Generative Adversarial Network
by: Upreti, Nijesh, et al.
Published: (2026)
by: Upreti, Nijesh, et al.
Published: (2026)
Counterfactual Explanations as Plans
by: Belle, Vaishak
Published: (2025)
by: Belle, Vaishak
Published: (2025)
A Counterfactual Cause in Situation Calculus
by: Liu, Daxin, et al.
Published: (2025)
by: Liu, Daxin, et al.
Published: (2025)
Practical Considerations for Agentic LLM Systems
by: Sypherd, Chris, et al.
Published: (2024)
by: Sypherd, Chris, et al.
Published: (2024)
Lyria: A Genetic Algorithm-Driven Neuro-Symbolic Reasoning Framework for LLMs
by: Tang, Weizhi, et al.
Published: (2025)
by: Tang, Weizhi, et al.
Published: (2025)
Zero, Finite, and Infinite Belief History of Theory of Mind Reasoning in Large Language Models
by: Tang, Weizhi, et al.
Published: (2024)
by: Tang, Weizhi, et al.
Published: (2024)
ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models
by: Tang, Weizhi, et al.
Published: (2024)
by: Tang, Weizhi, et al.
Published: (2024)
Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
by: Molick, Sanderson, et al.
Published: (2026)
by: Molick, Sanderson, et al.
Published: (2026)
Efficient Counterfactual Reasoning in ProbLog via Single World Intervention Programs
by: Habib, Saimun, et al.
Published: (2026)
by: Habib, Saimun, et al.
Published: (2026)
LTLBench: Towards Benchmarks for Evaluating Temporal Reasoning in Large Language Models
by: Tang, Weizhi, et al.
Published: (2024)
by: Tang, Weizhi, et al.
Published: (2024)
Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning
by: Feldstein, Jonathan, et al.
Published: (2024)
by: Feldstein, Jonathan, et al.
Published: (2024)
Neural Networks Decoded: Targeted and Robust Analysis of Neural Network Decisions via Causal Explanations and Reasoning
by: Diallo, Alec F., et al.
Published: (2024)
by: Diallo, Alec F., et al.
Published: (2024)
Program Semantic Inequivalence Game with Large Language Models
by: Miceli-Barone, Antonio Valerio, et al.
Published: (2025)
by: Miceli-Barone, Antonio Valerio, et al.
Published: (2025)
Learning World Models With Hierarchical Temporal Abstractions: A Probabilistic Perspective
by: Shaj, Vaisakh
Published: (2024)
by: Shaj, Vaisakh
Published: (2024)
HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
by: Tang, Weizhi, et al.
Published: (2025)
by: Tang, Weizhi, et al.
Published: (2025)
Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning
by: Mendez-Lucero, Miguel Angel, et al.
Published: (2024)
by: Mendez-Lucero, Miguel Angel, et al.
Published: (2024)
Used Car Salesbots? Honesty and Credulity of LLMs as Bargaining Agents under Partial Information
by: Miceli-Barone, Antonio Valerio, et al.
Published: (2026)
by: Miceli-Barone, Antonio Valerio, et al.
Published: (2026)
A Data-Transparent Probabilistic Model of Temporal Propositional Abstraction
by: Kido, Hiroyuki
Published: (2023)
by: Kido, Hiroyuki
Published: (2023)
Learning Abstractions for Hierarchical Planning in Program-Synthesis Agents
by: Ahmed, Zergham, et al.
Published: (2026)
by: Ahmed, Zergham, et al.
Published: (2026)
A Probabilistic Framework for Hierarchical Goal Recognition
by: Zhang, Chenyuan, et al.
Published: (2026)
by: Zhang, Chenyuan, et al.
Published: (2026)
Integrating LTL Constraints into PPO for Safe Reinforcement Learning
by: Zhang, Maifang, et al.
Published: (2026)
by: Zhang, Maifang, et al.
Published: (2026)
Realizable Abstractions: Near-Optimal Hierarchical Reinforcement Learning
by: Cipollone, Roberto, et al.
Published: (2025)
by: Cipollone, Roberto, et al.
Published: (2025)
Decoupled Hierarchical Reinforcement Learning with State Abstraction for Discrete Grids
by: Xiao, Qingyu, et al.
Published: (2025)
by: Xiao, Qingyu, et al.
Published: (2025)
HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation
by: Achamyeleh, Yonatan Gizachew, et al.
Published: (2026)
by: Achamyeleh, Yonatan Gizachew, et al.
Published: (2026)
KV Cache Quantization for Self-Forcing Video Generation: A 33-Method Empirical Study
by: Ranganath, Suraj, et al.
Published: (2026)
by: Ranganath, Suraj, et al.
Published: (2026)
Hierarchical Reinforcement Learning for Temporal Abstraction of Listwise Recommendation
by: Ji, Luo, et al.
Published: (2024)
by: Ji, Luo, et al.
Published: (2024)
HCAG: Hierarchical Abstraction and Retrieval-Augmented Generation on Theoretical Repositories with LLMs
by: Wu, Yusen, et al.
Published: (2026)
by: Wu, Yusen, et al.
Published: (2026)
Projection Abstractions in Planning Under the Lenses of Abstractions for MDPs
by: Canonaco, Giuseppe, et al.
Published: (2024)
by: Canonaco, Giuseppe, et al.
Published: (2024)
Investigating Intra-Abstraction Policies For Non-exact Abstraction Algorithms
by: Schmöcker, Robin, et al.
Published: (2025)
by: Schmöcker, Robin, et al.
Published: (2025)
Suvach -- Generated Hindi QA benchmark
by: Narayanan, Vaishak, et al.
Published: (2024)
by: Narayanan, Vaishak, et al.
Published: (2024)
A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
by: Anwer, Nivar, et al.
Published: (2025)
by: Anwer, Nivar, et al.
Published: (2025)
KRONE: Scalable LLM-Augmented Log Anomaly Detection via Hierarchical Abstraction
by: Ma, Lei, et al.
Published: (2026)
by: Ma, Lei, et al.
Published: (2026)
Designing Domain-Specific Agents via Hierarchical Task Abstraction Mechanism
by: Li, Kaiyu, et al.
Published: (2025)
by: Li, Kaiyu, et al.
Published: (2025)
An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models
by: Lorenzin, Antonio, et al.
Published: (2025)
by: Lorenzin, Antonio, et al.
Published: (2025)
Probabilistic Subgoal Representations for Hierarchical Reinforcement learning
by: Wang, Vivienne Huiling, et al.
Published: (2024)
by: Wang, Vivienne Huiling, et al.
Published: (2024)
Grokking From Abstraction to Intelligence
by: Zhang, Junjie, et al.
Published: (2026)
by: Zhang, Junjie, et al.
Published: (2026)
FastSLM: Hierarchical Temporal Abstraction for Efficient Long-Form Speech Adaptation
by: Lee, Junseok, et al.
Published: (2026)
by: Lee, Junseok, et al.
Published: (2026)
Similar Items
-
Satisfiability Modulo Theory Meets Inductive Logic Programming
by: Upreti, Nijesh, et al.
Published: (2025) -
Neuro-symbolic Weak Supervision: Theory and Semantics
by: Upreti, Nijesh, et al.
Published: (2025) -
Towards Developing Ethical Reasoners: Integrating Probabilistic Reasoning and Decision-Making for Complex AI Systems
by: Upreti, Nijesh, et al.
Published: (2025) -
Logic Tensor Network-Enhanced Generative Adversarial Network
by: Upreti, Nijesh, et al.
Published: (2026) -
Counterfactual Explanations as Plans
by: Belle, Vaishak
Published: (2025)