Saved in:
| Main Authors: | Naik, Aaditya, Liu, Jason, Wang, Claire, Sethi, Amish, Dutta, Saikat, Naik, Mayur, Wong, Eric |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2410.03348 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
On Improving Neurosymbolic Learning by Exploiting the Representation Space
by: Naik, Aaditya, et al.
Published: (2026)
by: Naik, Aaditya, et al.
Published: (2026)
Where's the Bug? Attention Probing for Scalable Fault Localization
by: Stein, Adam, et al.
Published: (2025)
by: Stein, Adam, et al.
Published: (2025)
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
by: Naik, Aaditya, et al.
Published: (2023)
by: Naik, Aaditya, et al.
Published: (2023)
The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models
by: Stein, Adam, et al.
Published: (2025)
by: Stein, Adam, et al.
Published: (2025)
Towards Compositionality in Concept Learning
by: Stein, Adam, et al.
Published: (2024)
by: Stein, Adam, et al.
Published: (2024)
Delta Activations: A Representation for Finetuned Large Language Models
by: Xu, Zhiqiu, et al.
Published: (2025)
by: Xu, Zhiqiu, et al.
Published: (2025)
Do We Need Frontier Models to Verify Mathematical Proofs?
by: Naik, Aaditya, et al.
Published: (2026)
by: Naik, Aaditya, et al.
Published: (2026)
Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
by: Biberstein, Paul, et al.
Published: (2025)
by: Biberstein, Paul, et al.
Published: (2025)
Once Upon an Input: Reasoning via Per-Instance Program Synthesis
by: Stein, Adam, et al.
Published: (2025)
by: Stein, Adam, et al.
Published: (2025)
QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
by: Wang, Claire, et al.
Published: (2025)
by: Wang, Claire, et al.
Published: (2025)
Stable Prediction of Adverse Events in Medical Time-Series Data
by: Keoliya, Mayank, et al.
Published: (2025)
by: Keoliya, Mayank, et al.
Published: (2025)
IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
by: Li, Ziyang, et al.
Published: (2024)
by: Li, Ziyang, et al.
Published: (2024)
ESCA: Contextualizing Embodied Agents via Scene-Graph Generation
by: Huang, Jiani, et al.
Published: (2025)
by: Huang, Jiani, et al.
Published: (2025)
CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning
by: Choi, Seewon, et al.
Published: (2025)
by: Choi, Seewon, et al.
Published: (2025)
Data-Efficient Learning with Neural Programs
by: Solko-Breslin, Alaia, et al.
Published: (2024)
by: Solko-Breslin, Alaia, et al.
Published: (2024)
LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision
by: Huang, Jiani, et al.
Published: (2023)
by: Huang, Jiani, et al.
Published: (2023)
Probabilistic Consensus through Ensemble Validation: A Framework for LLM Reliability
by: Naik, Ninad
Published: (2024)
by: Naik, Ninad
Published: (2024)
A Compression Based Classification Framework Using Symbolic Dynamics of Chaotic Maps
by: Naik, Parth, et al.
Published: (2025)
by: Naik, Parth, et al.
Published: (2025)
DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation
by: Wu, Yinjun, et al.
Published: (2024)
by: Wu, Yinjun, et al.
Published: (2024)
RNAO’s Artificial Intelligence Innovations: A Novel Strategy to Advance Evidence-Based Nursing Practice
by: Shanoja Naik
Published: (2024)
by: Shanoja Naik
Published: (2024)
A Pipeline for Data-Driven Learning of Topological Features with Applications to Protein Stability Prediction
by: Mishra, Amish, et al.
Published: (2024)
by: Mishra, Amish, et al.
Published: (2024)
CoCoNUT: Structural Code Understanding does not fall out of a tree
by: Beger, Claas, et al.
Published: (2025)
by: Beger, Claas, et al.
Published: (2025)
CAMEL: An ECG Language Model for Forecasting Cardiac Events
by: Velingker, Neelay, et al.
Published: (2026)
by: Velingker, Neelay, et al.
Published: (2026)
On the Hardness of Probabilistic Neurosymbolic Learning
by: Maene, Jaron, et al.
Published: (2024)
by: Maene, Jaron, et al.
Published: (2024)
Imbalances in Neurosymbolic Learning: Characterization and Mitigating Strategies
by: Wang, Kaifu, et al.
Published: (2024)
by: Wang, Kaifu, et al.
Published: (2024)
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
by: Khare, Avishree, et al.
Published: (2023)
by: Khare, Avishree, et al.
Published: (2023)
Rethinking LLMOps for Fraud and AML: Building a Compliance-Grade LLM Serving Stack
by: Naik, Prathamesh Vasudeo, et al.
Published: (2026)
by: Naik, Prathamesh Vasudeo, et al.
Published: (2026)
Attention Augmented GNN RNN-Attention Models for Advanced Cybersecurity Intrusion Detection
by: Biradar, Jayant, et al.
Published: (2025)
by: Biradar, Jayant, et al.
Published: (2025)
Template-Fitting Meets Deep Learning: Redshift Estimation Using Physics-Guided Neural Networks
by: Ferrao, Jonas Chris, et al.
Published: (2025)
by: Ferrao, Jonas Chris, et al.
Published: (2025)
DeepLog: A Software Framework for Modular Neurosymbolic AI
by: Manhaeve, Robin, et al.
Published: (2026)
by: Manhaeve, Robin, et al.
Published: (2026)
Optimisation in Neurosymbolic Learning Systems
by: van Krieken, Emile
Published: (2024)
by: van Krieken, Emile
Published: (2024)
On the Independence Assumption in Neurosymbolic Learning
by: van Krieken, Emile, et al.
Published: (2024)
by: van Krieken, Emile, et al.
Published: (2024)
Skew-Probabilistic Neural Networks for Learning from Imbalanced Data
by: Naik, Shraddha M., et al.
Published: (2023)
by: Naik, Shraddha M., et al.
Published: (2023)
Facial Emotion Recognition on FER-2013 using an EfficientNetB2-Based Approach
by: Naik, Sahil, et al.
Published: (2026)
by: Naik, Sahil, et al.
Published: (2026)
Neurosymbolic Diffusion Models
by: van Krieken, Emile, et al.
Published: (2025)
by: van Krieken, Emile, et al.
Published: (2025)
FastOmniTMAE: Parallel Clause Learning for Scalable and Hardware-Efficient Tsetlin Embeddings
by: Kadhim, Ahmed K., et al.
Published: (2026)
by: Kadhim, Ahmed K., et al.
Published: (2026)
Detecting Safety Violations Across Many Agent Traces
by: Stein, Adam, et al.
Published: (2026)
by: Stein, Adam, et al.
Published: (2026)
SLiCK: Exploiting Subsequences for Length-Constrained Keyword Spotting
by: Nishu, Kumari, et al.
Published: (2024)
by: Nishu, Kumari, et al.
Published: (2024)
Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach
by: Akshay, S., et al.
Published: (2026)
by: Akshay, S., et al.
Published: (2026)
A Neurosymbolic Framework for Geometric Reduction of Binary Forms
by: Kotsireas, Ilias, et al.
Published: (2025)
by: Kotsireas, Ilias, et al.
Published: (2025)
Similar Items
-
On Improving Neurosymbolic Learning by Exploiting the Representation Space
by: Naik, Aaditya, et al.
Published: (2026) -
Where's the Bug? Attention Probing for Scalable Fault Localization
by: Stein, Adam, et al.
Published: (2025) -
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
by: Naik, Aaditya, et al.
Published: (2023) -
The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models
by: Stein, Adam, et al.
Published: (2025) -
Towards Compositionality in Concept Learning
by: Stein, Adam, et al.
Published: (2024)