Cover Image

Artifact for Paper Submission "Checking -Satisfiability of Reals with Integrals"

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	Rivera, Cody, Bhusal, Bishnu, Chadha, Rohit, Sistla, Aravinda Prasad, Viswanathan, Mahesh
Format:	Recurso digital
Published:	Zenodo 2025
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions
by: Bhusal, Bishnu, et al.
Published: (2025)

Deciding branching hyperproperties for real time systems
by: Deka, Nabarun, et al.
Published: (2024)

Privacy Preserving In-Context-Learning Framework for Large Language Models
by: Bhusal, Bishnu, et al.
Published: (2025)

Selective Electrochemical Conversion of CO2 into Methane on Ag‐Decorated Copper Microsphere
by: Rabin Dahal, et al.
Published: (2024)

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
by: Harie, Yojiro, et al.
Published: (2024)

VTON-IT: Virtual Try-On using Image Translation
by: Adhikari, Santosh, et al.
Published: (2023)

Manjushri: A Tool for Equivalence Checking of Quantum Circuits
by: Trinh, Xuan Du, et al.
Published: (2026)

Calls for Submission of Review Papers
Published: (2026)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
by: Hausmann, Daniel, et al.
Published: (2022)

Artifact For: Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages
by: Prasad, Siddhartha Arjun, et al.
Published: (2026)

Artifact For: Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages
by: Prasad, Siddhartha Arjun, et al.
Published: (2026)

Formal Verification for Blockchain-based Insurance Claims Processing
by: Neupane, Roshan Lal, et al.
Published: (2024)

Checking Satisfiability of Hyperproperties using First-Order Logic
by: Beutner, Raven, et al.
Published: (2025)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
by: Stoltenow, Lara, et al.
Published: (2024)

Analyzing and Debugging Normative Requirements via Satisfiability Checking
by: Feng, Nick, et al.
Published: (2024)

Correcting Selection Bias in Sparse User Feedback for Large Language Model Quality Estimation: A Multi-Agent Hierarchical Bayesian Approach
by: Morandi, Andrea, et al.
Published: (2026)

Efficient Dynamic Algorithms to Predict Short Races
by: Zhang, Minjian, et al.
Published: (2026)

Multi-Label Classification of Thoracic Diseases using Dense Convolutional Network on Chest Radiographs
by: Bhusal, Dipkamal, et al.
Published: (2022)

Taming Server Memory TCO with Multiple Software-Defined Compressed Tiers
by: Kumar, Sandeep, et al.
Published: (2024)

GPFG Paper — Data and Code (Initial Submission)
by: yan, hongxuan
Published: (2026)

Activity Patterns and Predator–Prey Temporal Overlap in the High Tiger‐Density Area Bardia National Park, Nepal
by: Bishnu Prasad Shrestha, et al.
Published: (2026)

Enhanced Reconstruction of Holocene Bryophytes From Sedimentary Ancient DNA Using Bryophyte‐Targeted Primers
by: Bishnu Timilsina, et al.
Published: (2026)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
by: Heck, Linus, et al.
Published: (2025)

On Oscillatory Integral Operators Satisfying the cinematic curvature condition
by: Wang, Xiangyu
Published: (2025)

A note on the maximum probability of ultra log-concave distributions
by: Aravinda, Heshan
Published: (2025)

Tesla's Autopilot: Ethics and Tragedy
by: Jatavallabha, Aravinda
Published: (2024)

LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
by: Chen, Boqi, et al.
Published: (2025)

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
by: Kole, Abhoy, et al.
Published: (2024)

The Decision Problem for Regular First-Order Theories
by: Mathur, Umang, et al.
Published: (2024)

Rational Design of High‐Entropy Materials for Photo and Electrocatalytic Applications
by: Binod Raj KC, et al.
Published: (2025)

Culturally Relevant Science Teaching: Possible Connection of Socio-Cultural Knowledge with Present Science Curriculum of Nepal
by: Kamal Prasad Koirala, et al.
Published: (2025)

BaTiO 3 ‐Based Materials for Electrocatalytic Water Splitting
by: Binod Raj KC, et al.
Published: (2026)

Efficient Memory Tiering in a Virtual Machine
by: Prakash, Chandra, et al.
Published: (2025)

iMIV: in-Memory Integrity Verification for NVM
by: Jain, Rajat, et al.
Published: (2024)

Acta Geologica Sinica (English Edition) Calls for Submission of Review Papers
Published: (2025)

Acta Geologica Sinica (English Edition) Calls for Submission of Review Papers
Published: (2025)

Acta Geologica Sinica (English Edition) Calls for Submission of Review Papers
Published: (2024)

Acta Geologica Sinica (English Edition) Calls for Submission of Review Papers
Published: (2024)

Acta Geologica Sinica (English Edition) Calls for Submission of Review Papers
Published: (2024)

NX-CGRA: A Programmable Hardware Accelerator for Core Transformer Algorithms on Edge Devices
by: Prasad, Rohit
Published: (2025)