Cover Image

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Khalil, Khurram, Hoque, Khaza Anuarul
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

EPSILON: Adaptive Fault Mitigation in Approximate Deep Neural Network using Statistical Signatures
by: Khalil, Khurram, et al.
Published: (2025)

Hyperproperty-Constrained Secure Reinforcement Learning
by: Bonnah, Ernest, et al.
Published: (2025)

FlipLLM: Efficient Bit-Flip Attacks on Multimodal LLMs using Reinforcement Learning
by: Khalil, Khurram, et al.
Published: (2025)

Explainable AI-Guided Efficient Approximate DNN Generation for Multi-Pod Systolic Arrays
by: Siddique, Ayesha, et al.
Published: (2025)

ApproXAI: Energy-Efficient Hardware Acceleration of Explainable AI using Approximate Computing
by: Siddique, Ayesha, et al.
Published: (2025)

RIFT: A Scalable Methodology for LLM Accelerator Fault Assessment using Reinforcement Learning
by: Khalil, Khurram, et al.
Published: (2025)

Large Language Models Imitate Logical Reasoning, but at what Cost?
by: McGinness, Lachlan, et al.
Published: (2025)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
by: Wang, Ruolin, et al.
Published: (2024)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
by: Zang, Zhengqing, et al.
Published: (2026)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2026)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
by: Liu, Yinhong, et al.
Published: (2024)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
by: Quansah, Paapa Kwesi, et al.
Published: (2026)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
by: Aria, Hadi Partovi, et al.
Published: (2026)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
by: Bourgaux, Camille, et al.
Published: (2025)

PrivateXR: Defending Privacy Attacks in Extended Reality Through Explainable AI-Guided Differential Privacy
by: Kundu, Ripan Kumar, et al.
Published: (2025)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
by: Schön, Oliver, et al.
Published: (2026)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
by: Wan, Yuxuan, et al.
Published: (2024)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
by: Sälzer, Marco, et al.
Published: (2025)

Model Change for Description Logic Concepts
by: Ozaki, Ana, et al.
Published: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Large Language Model for OWL Proofs
by: Yang, Hui, et al.
Published: (2026)

Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping
by: Liu, Chanjuan, et al.
Published: (2024)

Temporal Inductive Logic Reasoning over Hypergraphs
by: Yang, Yuan, et al.
Published: (2022)

PILAR: Personalizing Augmented Reality Interactions with LLM-based Human-Centric and Trustworthy Explanations for Daily Use Cases
by: Kundu, Ripan Kumar, et al.
Published: (2025)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
by: Aditya, Dyuman, et al.
Published: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
by: Lin, Yuanfei, et al.
Published: (2022)

Can Large Language Models Autoformalize Kinematics?
by: Kabra, Aditi, et al.
Published: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
by: Beutner, Raven, et al.
Published: (2023)

Large Language Models for Interpretable Mental Health Diagnosis
by: Kim, Brian Hyeongseok, et al.
Published: (2025)

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
by: Xu, Shaojun, et al.
Published: (2024)

Laurel: Unblocking Automated Verification with Large Language Models
by: Mugnier, Eric, et al.
Published: (2024)

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
by: Meng, Qiaolan, et al.
Published: (2025)

Compositional Consistency-Guided Decoding for Three-Way Logical Question Answering
by: Huang, Tianyi, et al.
Published: (2026)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
by: Bednarczyk, Bartosz
Published: (2023)

Enriching Ontologies with Disjointness Axioms using Large Language Models
by: Crum, Elias, et al.
Published: (2024)

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
by: Mensfelt, Agnieszka, et al.
Published: (2024)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
by: Ramirez, Miquel, et al.
Published: (2024)

Learning Temporal Logic Predicates from Data with Statistical Guarantees
by: Soroka, Emi, et al.
Published: (2024)