Predicting Performance of Symbolic and Prompt Programs with Examples
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Zheng, Chengqi, Hu, Keya, Liu, Shuzhi, Wu, Tao, Ellis, Kevin, Pu, Yewen |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Generating Pragmatic Examples to Train Neural Program Synthesizers
par: Vaduguru, Saujas, et autres
Publié: (2023)
par: Vaduguru, Saujas, et autres
Publié: (2023)
Is Programming by Example solved by LLMs?
par: Li, Wen-Ding, et autres
Publié: (2024)
par: Li, Wen-Ding, et autres
Publié: (2024)
Bongards at the Boundary of Perception and Reasoning: Programs or Language?
par: Langenfeld, Cassidy, et autres
Publié: (2026)
par: Langenfeld, Cassidy, et autres
Publié: (2026)
Combining Induction and Transduction for Abstract Reasoning
par: Li, Wen-Ding, et autres
Publié: (2024)
par: Li, Wen-Ding, et autres
Publié: (2024)
When Robots Should Say "I Don't Know": Benchmarking Abstention in Embodied Question Answering
par: Wu, Tao, et autres
Publié: (2025)
par: Wu, Tao, et autres
Publié: (2025)
Symbolic Prompt Program Search: A Structure-Aware Approach to Efficient Compile-Time Prompt Optimization
par: Schnabel, Tobias, et autres
Publié: (2024)
par: Schnabel, Tobias, et autres
Publié: (2024)
Prism: Symbolic Superoptimization of Tensor Programs
par: Wu, Mengdi, et autres
Publié: (2026)
par: Wu, Mengdi, et autres
Publié: (2026)
Can Prompt Difficulty be Online Predicted for Accelerating RL Finetuning of Reasoning Models?
par: Qu, Yun, et autres
Publié: (2025)
par: Qu, Yun, et autres
Publié: (2025)
Read and Reap the Rewards: Learning to Play Atari with the Help of Instruction Manuals
par: Wu, Yue, et autres
Publié: (2023)
par: Wu, Yue, et autres
Publié: (2023)
Explainable Diagnosis Prediction through Neuro-Symbolic Integration
par: Lu, Qiuhao, et autres
Publié: (2024)
par: Lu, Qiuhao, et autres
Publié: (2024)
AISSISTANT: Human-AI Collaborative Review and Perspective Research Workflows in Data Science
par: Gaddipati, Sasi Kiran, et autres
Publié: (2025)
par: Gaddipati, Sasi Kiran, et autres
Publié: (2025)
Hypothesis Search: Inductive Reasoning with Language Models
par: Wang, Ruocheng, et autres
Publié: (2023)
par: Wang, Ruocheng, et autres
Publié: (2023)
Joint Learning of Hierarchical Neural Options and Abstract World Model
par: Piriyakulkij, Wasu Top, et autres
Publié: (2026)
par: Piriyakulkij, Wasu Top, et autres
Publié: (2026)
How Do Transformers Learn Variable Binding in Symbolic Programs?
par: Wu, Yiwei, et autres
Publié: (2025)
par: Wu, Yiwei, et autres
Publié: (2025)
A Comparison of Recent Algorithms for Symbolic Regression to Genetic Programming
par: Radwan, Yousef A., et autres
Publié: (2024)
par: Radwan, Yousef A., et autres
Publié: (2024)
CAP: Controllable Alignment Prompting for Unlearning in LLMs
par: Wang, Zhaokun, et autres
Publié: (2026)
par: Wang, Zhaokun, et autres
Publié: (2026)
PruneSymNet: A Symbolic Neural Network and Pruning Algorithm for Symbolic Regression
par: Wu, Min, et autres
Publié: (2024)
par: Wu, Min, et autres
Publié: (2024)
Bayesian-Symbolic Integration for Uncertainty-Aware Parking Prediction
par: Nezhadettehad, Alireza, et autres
Publié: (2026)
par: Nezhadettehad, Alireza, et autres
Publié: (2026)
Programming Every Example: Lifting Pre-training Data Quality Like Experts at Scale
par: Zhou, Fan, et autres
Publié: (2024)
par: Zhou, Fan, et autres
Publié: (2024)
Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
par: Liu, Xiaoyang, et autres
Publié: (2026)
par: Liu, Xiaoyang, et autres
Publié: (2026)
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
par: Zhang, Zheng
Publié: (2025)
par: Zhang, Zheng
Publié: (2025)
A New Type of Adversarial Examples
par: Nie, Xingyang, et autres
Publié: (2025)
par: Nie, Xingyang, et autres
Publié: (2025)
GREATERPROMPT: A Unified, Customizable, and High-Performing Open-Source Toolkit for Prompt Optimization
par: Zheng, Wenliang, et autres
Publié: (2025)
par: Zheng, Wenliang, et autres
Publié: (2025)
Neural-Symbolic Message Passing with Dynamic Pruning
par: Zhang, Chongzhi, et autres
Publié: (2025)
par: Zhang, Chongzhi, et autres
Publié: (2025)
Operator Feature Neural Network for Symbolic Regression
par: Deng, Yusong, et autres
Publié: (2024)
par: Deng, Yusong, et autres
Publié: (2024)
Lightweight Dataset Pruning without Full Training via Example Difficulty and Prediction Uncertainty
par: Cho, Yeseul, et autres
Publié: (2025)
par: Cho, Yeseul, et autres
Publié: (2025)
Prompt Tuning with Diffusion for Few-Shot Pre-trained Policy Generalization
par: Hu, Shengchao, et autres
Publié: (2024)
par: Hu, Shengchao, et autres
Publié: (2024)
Teaching the Teacher: The Role of Teacher-Student Smoothness Alignment in Genetic Programming-based Symbolic Distillation
par: Dhar, Soumyadeep, et autres
Publié: (2025)
par: Dhar, Soumyadeep, et autres
Publié: (2025)
Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees
par: Tao, Lue, et autres
Publié: (2023)
par: Tao, Lue, et autres
Publié: (2023)
Program Machine Policy: Addressing Long-Horizon Tasks by Integrating Program Synthesis and State Machines
par: Lin, Yu-An, et autres
Publié: (2023)
par: Lin, Yu-An, et autres
Publié: (2023)
Principle-Evolvable Scientific Discovery via Uncertainty Minimization
par: Pu, Yingming, et autres
Publié: (2026)
par: Pu, Yingming, et autres
Publié: (2026)
PiFlow: Principle-Aware Scientific Discovery with Multi-Agent Collaboration
par: Pu, Yingming, et autres
Publié: (2025)
par: Pu, Yingming, et autres
Publié: (2025)
Exploring Criteria of Loss Reweighting to Enhance LLM Unlearning
par: Yang, Puning, et autres
Publié: (2025)
par: Yang, Puning, et autres
Publié: (2025)
Programming by Backprop: An Instruction is Worth 100 Examples When Finetuning LLMs
par: Cook, Jonathan, et autres
Publié: (2025)
par: Cook, Jonathan, et autres
Publié: (2025)
Symbolic Foundation Regressor on Complex Networks
par: Liu, Weiting, et autres
Publié: (2025)
par: Liu, Weiting, et autres
Publié: (2025)
A Neuro-Symbolic Explainer for Rare Events: A Case Study on Predictive Maintenance
par: Gama, João, et autres
Publié: (2024)
par: Gama, João, et autres
Publié: (2024)
Towards a Novel Perspective on Adversarial Examples Driven by Frequency
par: Zhang, Zhun, et autres
Publié: (2024)
par: Zhang, Zhun, et autres
Publié: (2024)
Behavioral Embeddings of Programs: A Quasi-Dynamic Approach for Optimization Prediction
par: Pan, Haolin, et autres
Publié: (2025)
par: Pan, Haolin, et autres
Publié: (2025)
Advanced Weakly-Supervised Formula Exploration for Neuro-Symbolic Mathematical Reasoning
par: Wu, Yuxuan, et autres
Publié: (2025)
par: Wu, Yuxuan, et autres
Publié: (2025)
Optimizing Reasoning Efficiency through Prompt Difficulty Prediction
par: Zhao, Bo, et autres
Publié: (2025)
par: Zhao, Bo, et autres
Publié: (2025)
Documents similaires
-
Generating Pragmatic Examples to Train Neural Program Synthesizers
par: Vaduguru, Saujas, et autres
Publié: (2023) -
Is Programming by Example solved by LLMs?
par: Li, Wen-Ding, et autres
Publié: (2024) -
Bongards at the Boundary of Perception and Reasoning: Programs or Language?
par: Langenfeld, Cassidy, et autres
Publié: (2026) -
Combining Induction and Transduction for Abstract Reasoning
par: Li, Wen-Ding, et autres
Publié: (2024) -
When Robots Should Say "I Don't Know": Benchmarking Abstention in Embodied Question Answering
par: Wu, Tao, et autres
Publié: (2025)