Buchumschlag

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Naifeng, Rao, Sanil, Franusich, Mike, Franchetti, Franz
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages Symbolic Computation
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU
von: Zhang, Naifeng, et al.
Veröffentlicht: (2025)

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

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)

Algebraic Tools for Computing Polynomial Loop Invariants
von: Bayarmagnai, Erdenebayar, et al.
Veröffentlicht: (2024)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
von: Bayarmagnai, Erdenebayar, et al.
Veröffentlicht: (2024)

Proceedings 13th International Workshop on Developments in Computational Models
von: Alves, Sandra, et al.
Veröffentlicht: (2024)

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

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
von: Beyer, Dirk, et al.
Veröffentlicht: (2025)

WebPie: A Tiny Slice of Dependent Typing
von: Scholliers, Christophe
Veröffentlicht: (2024)

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

Antiassociative algebra in R: introducing the evitaicossa package
von: Hankinn, Robin K. S.
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)

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
von: Tirpankar, Tanmay, et al.
Veröffentlicht: (2025)

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

Frex: dependently-typed algebraic simplification
von: Allais, Guillaume, et al.
Veröffentlicht: (2023)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
von: Kutsia, Temur, et al.
Veröffentlicht: (2024)

Performant Dynamically Typed E-Graphs in Pure Julia
von: Cheli, Alessandro, et al.
Veröffentlicht: (2024)

Cooley-Tukey FFT over $\mathbb{Q}_p$ via Unramified Cyclotomic Extension
von: Kondo, Hiromasa
Veröffentlicht: (2025)

Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting
von: Berthomieu, Jérémy, et al.
Veröffentlicht: (2024)

Open Source Prover in the Attic
von: Kovács, Zoltán, et al.
Veröffentlicht: (2024)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
von: Shrager, Jeff
Veröffentlicht: (2026)

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)

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

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

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

Botfip-LLM: An Enhanced Multimodal Scientific Computing Framework Leveraging Knowledge Distillation from Large Language Models
von: Chen, Tianhao, et al.
Veröffentlicht: (2024)

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

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

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

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

Visual Set Program Synthesizer
von: Cheng, Zehua, et al.
Veröffentlicht: (2026)

Two Constraint Compilation Methods for Lifted Planning
von: Mantenoglou, Periklis, et al.
Veröffentlicht: (2025)

Debugging code world models
von: Rahmani, Babak
Veröffentlicht: (2026)

Jet Expansions of Residual Computation
von: Chen, Yihong, et al.
Veröffentlicht: (2024)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
von: Luo, Ziyan, et al.
Veröffentlicht: (2023)

Semantics of Division for Polynomial Solvers
von: Brown, Christopher W.
Veröffentlicht: (2024)

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