NeurIPS 2025 Explorer
Concepts
Authors
Glossary
johnsanterre.github.io
Eric Wong
3 papers
University of Pennsylvania
CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning
Once Upon an Input: Reasoning via Per-Instance Program Synthesis
Probabilistic Stability Guarantees for Feature Attributions