Copertina

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Tang, Xuan, Huang, Kemeng, Bernstein, Gilbert, LI, Minchen, Li, Tzumao
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Graphics Programming Languages Symbolic Computation
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

AGIPC: Adaptive In-Solve Algebraic Coarsening for GPU IPC
di: Wang, Xuan, et al.
Pubblicazione: (2026)

MiGumi: Making Tightly Coupled Integral Joints Millable
di: Ganeshan, Aditya, et al.
Pubblicazione: (2025)

StiffGIPC: Advancing GPU IPC for stiff affine-deformable simulation
di: Huang, Kemeng, et al.
Pubblicazione: (2024)

A Flow Extension to Coroutine Types for Deadlock Detection in Go
di: Gu, Qiqi Jason, et al.
Pubblicazione: (2026)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
di: Zhang, Naifeng, et al.
Pubblicazione: (2025)

Introducing Quantification into a Hierarchical Graph Rewriting Language
di: Mishina, Haruto, et al.
Pubblicazione: (2024)

Strided Difference Bound Matrices
di: Pitchanathan, Arjun, et al.
Pubblicazione: (2024)

A Neuro-Symbolic Approach to Monitoring Salt Content in Food
di: Tayal, Anuja, et al.
Pubblicazione: (2024)

Performant Dynamically Typed E-Graphs in Pure Julia
di: Cheli, Alessandro, et al.
Pubblicazione: (2024)

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

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
di: Sinha, Sania, et al.
Pubblicazione: (2025)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
di: Beyer, Dirk, et al.
Pubblicazione: (2025)

WebPie: A Tiny Slice of Dependent Typing
di: Scholliers, Christophe
Pubblicazione: (2024)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
di: Bayarmagnai, Erdenebayar, et al.
Pubblicazione: (2025)

Algebraic Tools for Computing Polynomial Loop Invariants
di: Bayarmagnai, Erdenebayar, et al.
Pubblicazione: (2024)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
di: Bayarmagnai, Erdenebayar, et al.
Pubblicazione: (2024)

Antiassociative algebra in R: introducing the evitaicossa package
di: Hankinn, Robin K. S.
Pubblicazione: (2024)

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

Confluence of Conditional Rewriting Modulo
di: Lucas, Salvador
Pubblicazione: (2025)

Semantic Properties of Computations Defined by Elementary Inference Systems
di: Lucas, Salvador
Pubblicazione: (2025)

Frex: dependently-typed algebraic simplification
di: Allais, Guillaume, et al.
Pubblicazione: (2023)

Proceedings 13th International Workshop on Developments in Computational Models
di: Alves, Sandra, et al.
Pubblicazione: (2024)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
di: Luo, Ziyan, et al.
Pubblicazione: (2023)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
di: Shalyt, Michael, et al.
Pubblicazione: (2025)

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

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
di: Yufei, Kuang, et al.
Pubblicazione: (2025)

ParSEL: Parameterized Shape Editing with Language
di: Ganeshan, Aditya, et al.
Pubblicazione: (2024)

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions
di: Zheng, Hongbo, et al.
Pubblicazione: (2025)

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
di: Hao, Yilun, et al.
Pubblicazione: (2025)

ConceptGuard: Neuro-Symbolic Safety Guardrails via Sparse Interpretable Jailbreak Concepts
di: Aswal, Darpan, et al.
Pubblicazione: (2025)

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

Open Source Prover in the Attic
di: Kovács, Zoltán, et al.
Pubblicazione: (2024)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
di: Shrager, Jeff
Pubblicazione: (2026)

Symbolic modeling of the Pareto-Optimal sets of two unity gain cells
di: Said Polanco-Martagón
Pubblicazione: (2016)

Verified Language Processing with Hybrid Explainability: A Technical Report
di: Fox, Oliver Robert, et al.
Pubblicazione: (2025)

Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
di: Candussio, Sara, et al.
Pubblicazione: (2026)

Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems
di: Bui, Tuan, et al.
Pubblicazione: (2025)

Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
di: Fushimi, Kosei, et al.
Pubblicazione: (2026)

Evaluating Task-Oriented Dialogue Consistency through Constraint Satisfaction
di: Labruna, Tiziano, et al.
Pubblicazione: (2024)

Beyond Accuracy: Introducing a Symbolic-Mechanistic Approach to Interpretable Evaluation
di: Habibi, Reza, et al.
Pubblicazione: (2026)