:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Solko-Breslin, Alaia, Choi, Seewon, Li, Ziyang, Velingker, Neelay, Alur, Rajeev, Naik, Mayur, Wong, Eric
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Machine Learning
Online-Zugang:	https://arxiv.org/abs/2406.06246
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning
von: Choi, Seewon, et al.
Veröffentlicht: (2025)

CAMEL: An ECG Language Model for Forecasting Cardiac Events
von: Velingker, Neelay, et al.
Veröffentlicht: (2026)

Stable Prediction of Adverse Events in Medical Time-Series Data
von: Keoliya, Mayank, et al.
Veröffentlicht: (2025)

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
von: Khare, Avishree, et al.
Veröffentlicht: (2023)

Once Upon an Input: Reasoning via Per-Instance Program Synthesis
von: Stein, Adam, et al.
Veröffentlicht: (2025)

The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models
von: Stein, Adam, et al.
Veröffentlicht: (2025)

Relational Programming with Foundation Models
von: Li, Ziyang, et al.
Veröffentlicht: (2024)

Do We Need Frontier Models to Verify Mathematical Proofs?
von: Naik, Aaditya, et al.
Veröffentlicht: (2026)

DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation
von: Wu, Yinjun, et al.
Veröffentlicht: (2024)

ESCA: Contextualizing Embodied Agents via Scene-Graph Generation
von: Huang, Jiani, et al.
Veröffentlicht: (2025)

TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
von: Naik, Aaditya, et al.
Veröffentlicht: (2023)

Risk-Sensitive Agent Compositions
von: Shabadi, Guruprerana, et al.
Veröffentlicht: (2025)

Towards Compositionality in Concept Learning
von: Stein, Adam, et al.
Veröffentlicht: (2024)

Chordal Sparsity for SDP-based Neural Network Verification
von: Xue, Anton, et al.
Veröffentlicht: (2022)

Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
von: Biberstein, Paul, et al.
Veröffentlicht: (2025)

Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference
von: Xue, Anton, et al.
Veröffentlicht: (2024)

Where's the Bug? Attention Probing for Scalable Fault Localization
von: Stein, Adam, et al.
Veröffentlicht: (2025)

Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning
von: Naik, Aaditya, et al.
Veröffentlicht: (2024)

LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision
von: Huang, Jiani, et al.
Veröffentlicht: (2023)

Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
von: Watson, Christopher, et al.
Veröffentlicht: (2025)

Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks
von: Xue, Anton, et al.
Veröffentlicht: (2022)

On Improving Neurosymbolic Learning by Exploiting the Representation Space
von: Naik, Aaditya, et al.
Veröffentlicht: (2026)

Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees
von: Junnarkar, Neelay, et al.
Veröffentlicht: (2024)

From Transparency to Accountability and Back: A Discussion of Access and Evidence in AI Auditing
von: Cen, Sarah H., et al.
Veröffentlicht: (2024)

The Impossibility of Inverse Permutation Learning in Transformer Models
von: Alur, Rohan, et al.
Veröffentlicht: (2025)

Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric Rewards
von: Sonmez, Yasin, et al.
Veröffentlicht: (2024)

A Theory for Compressibility of Graph Transformers for Transductive Learning
von: Shirzad, Hamed, et al.
Veröffentlicht: (2024)

Urban Traffic Forecasting with Integrated Travel Time and Data Availability in a Conformal Graph Neural Network Framework
von: Patil, Mayur, et al.
Veröffentlicht: (2024)

On Calibration in Multi-Distribution Learning
von: Verma, Rajeev, et al.
Veröffentlicht: (2024)

Skew-Probabilistic Neural Networks for Learning from Imbalanced Data
von: Naik, Shraddha M., et al.
Veröffentlicht: (2023)

Delta Activations: A Representation for Finetuned Large Language Models
von: Xu, Zhiqiu, et al.
Veröffentlicht: (2025)

Locality-Aware Graph-Rewiring in GNNs
von: Barbero, Federico, et al.
Veröffentlicht: (2023)

GaLoRA: Parameter-Efficient Graph-Aware LLMs for Node Classification
von: Choudhary, Mayur, et al.
Veröffentlicht: (2026)

Human Expertise in Algorithmic Prediction
von: Alur, Rohan, et al.
Veröffentlicht: (2024)

Travel Time and Weather-Aware Traffic Forecasting in a Conformal Graph Neural Network Framework
von: Patil, Mayur, et al.
Veröffentlicht: (2025)

Even Sparser Graph Transformers
von: Shirzad, Hamed, et al.
Veröffentlicht: (2024)

Weisfeiler-Leman at the margin: When more expressivity matters
von: Franks, Billy J., et al.
Veröffentlicht: (2024)

Long-Horizon Traffic Forecasting via Incident-Aware Conformal Spatio-Temporal Transformers
von: Patil, Mayur, et al.
Veröffentlicht: (2026)

Learning to Defer to a Population: A Meta-Learning Approach
von: Tailor, Dharmesh, et al.
Veröffentlicht: (2024)

FastOmniTMAE: Parallel Clause Learning for Scalable and Hardware-Efficient Tsetlin Embeddings
von: Kadhim, Ahmed K., et al.
Veröffentlicht: (2026)