Buchumschlag

Visual Set Program Synthesizer

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cheng, Zehua, Dai, Wei, Zhang, Wenhu, Lukasiewicz, Thomas, Sun, Jiahao
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Multimedia Computation and Language Symbolic Computation
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A New Hybrid Intelligent Approach for Multimodal Detection of Suspected Disinformation on TikTok
von: Guerrero-Sosa, Jared D. T., et al.
Veröffentlicht: (2025)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
von: Bayarmagnai, Erdenebayar, et al.
Veröffentlicht: (2025)

Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
von: Candussio, Sara, et al.
Veröffentlicht: (2026)

Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
von: Fushimi, Kosei, et al.
Veröffentlicht: (2026)

Evaluating Task-Oriented Dialogue Consistency through Constraint Satisfaction
von: Labruna, Tiziano, et al.
Veröffentlicht: (2024)

Verified Language Processing with Hybrid Explainability: A Technical Report
von: Fox, Oliver Robert, et al.
Veröffentlicht: (2025)

A Neuro-Symbolic Approach to Monitoring Salt Content in Food
von: Tayal, Anuja, et al.
Veröffentlicht: (2024)

A Flow Extension to Coroutine Types for Deadlock Detection in Go
von: Gu, Qiqi Jason, et al.
Veröffentlicht: (2026)

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
von: Hao, Yilun, et al.
Veröffentlicht: (2025)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
von: Zhang, Naifeng, et al.
Veröffentlicht: (2025)

CircuitSynth: Reliable Synthetic Data Generation
von: Cheng, Zehua, et al.
Veröffentlicht: (2026)

ONSEP: A Novel Online Neural-Symbolic Framework for Event Prediction Based on Large Language Model
von: Yu, Xuanqing, et al.
Veröffentlicht: (2024)

Introducing Quantification into a Hierarchical Graph Rewriting Language
von: Mishina, Haruto, et al.
Veröffentlicht: (2024)

Strided Difference Bound Matrices
von: Pitchanathan, Arjun, et al.
Veröffentlicht: (2024)

Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup
von: Fruehwirth, Thom
Veröffentlicht: (2023)

Connectivity in Symmetric Semi-Algebraic Sets
von: Riener, Cordian, et al.
Veröffentlicht: (2024)

CasualSynth: Generating Structurally Sound Synthetic Data
von: Cheng, Zehua, et al.
Veröffentlicht: (2026)

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
von: Chen, Yongchao, et al.
Veröffentlicht: (2025)

Quantum Knowledge Graph: Modeling Context-Dependent Triplet Validity
von: Wang, Yao, et al.
Veröffentlicht: (2026)

AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking
von: Gao, Silin, et al.
Veröffentlicht: (2025)

Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent
von: Buali, Mahdi, et al.
Veröffentlicht: (2024)

ConceptGuard: Neuro-Symbolic Safety Guardrails via Sparse Interpretable Jailbreak Concepts
von: Aswal, Darpan, et al.
Veröffentlicht: (2025)

Large Language Models as Mirrors of Societal Moral Standards
von: Papadopoulou, Evi, et al.
Veröffentlicht: (2024)

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions
von: Zheng, Hongbo, et al.
Veröffentlicht: (2025)

Library Learning Doesn't: The Curious Case of the Single-Use "Library"
von: Berlot-Attwell, Ian, et al.
Veröffentlicht: (2024)

LLMs as mirrors of societal moral standards: reflection of cultural divergence and agreement across ethical topics
von: Meijer, Mijntje, et al.
Veröffentlicht: (2024)

GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models
von: Garrido-Merchán, Eduardo C., et al.
Veröffentlicht: (2025)

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
von: Sinha, Sania, et al.
Veröffentlicht: (2025)

Cognitive LLMs: Towards Integrating Cognitive Architectures and Large Language Models for Manufacturing Decision-making
von: Wu, Siyu, et al.
Veröffentlicht: (2024)

Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems
von: Bui, Tuan, et al.
Veröffentlicht: (2025)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
von: Shalyt, Michael, et al.
Veröffentlicht: (2025)

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
von: Tang, Xuan, et al.
Veröffentlicht: (2026)

On Ambiguity: The case of fraction, its meanings and roles
von: Bergstra, Jan A, et al.
Veröffentlicht: (2026)

Synthesizing Evolving Symbolic Representations for Autonomous Systems
von: Sartor, Gabriele, et al.
Veröffentlicht: (2024)

Scalable Computation of Inter-Core Bounds Through Exact Abstractions
von: Foughali, Mohammed Aristide, et al.
Veröffentlicht: (2024)

Cognitive Architectures for Language Agents
von: Sumers, Theodore R., et al.
Veröffentlicht: (2023)

Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution
von: Wang, Rui, et al.
Veröffentlicht: (2026)

Harmonizing Program Induction with Rate-Distortion Theory
von: Zhou, Hanqi, et al.
Veröffentlicht: (2024)

Confluence of Conditional Rewriting Modulo
von: Lucas, Salvador
Veröffentlicht: (2025)

Semantic Properties of Computations Defined by Elementary Inference Systems
von: Lucas, Salvador
Veröffentlicht: (2025)