:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	ANONYMOUS, ANONYMOUS
Format:	Recurso digital
Language:
Published:	Zenodo 2025
Online Access:	https://doi.org/10.5281/zenodo.15371095
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Supplementary Documents for "Specifying and Verifying Future Conditions"
by: ANONYMOUS, ANONYMOUS
Published: (2025)

Clean Code, Better Models: Enhancing LLM Performance with Smell-Cleaned Dataset
by: ANONYMOUS
Published: (2025)

RAG-Pull: Turning Retrieval into a Code-Injection Channel via Invisible Unicode Perturbations
by: ANONYMOUS, ARTIFACTS
Published: (2026)

Preguss: It Analyzes, It Specifies, It Verifies
by: Wang, Zhongyi, et al.
Published: (2025)

Specifying and Verifying RDMA Synchronisation (Extended Version)
by: Ambal, Guillaume, et al.
Published: (2026)

Specifying and Verifying the Convergence Stairs of the Collatz Program
by: Ebnenasir, Ali
Published: (2024)

A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms
by: Yang, Chengxi, et al.
Published: (2025)

Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars
by: Iosif, Radu, et al.
Published: (2025)

Coordination Mechanisms with Partially Specified Probabilities
by: Giordano, Francesco
Published: (2026)

Specifying interactions among objects through constraints
by: J. Torres
Published: (1999)

Specifying Agent Ethics (Blue Sky Ideas)
by: Dennis, Louise A., et al.
Published: (2024)

Specifying a model for the study of reproductive choice
by: Cruz García Lirios
Published: (2019)

Lenses for Partially-Specified States (Extended Version)
by: Matsuda, Kazutaka, et al.
Published: (2026)

IMDP-HDL: Algorithm Supplementary Document
by: Anuradha Anumolu
Published: (2025)

Chain of Condition: Construct, Verify and Solve Conditions for Conditional Question Answering
by: Lin, Jiuheng, et al.
Published: (2024)

Time‐Dependent Term Identification in the Time–Space Fractional Derivative Diffusion Equation From Integral Over Specified Condition
by: Qutaiba W. Ibraheem, et al.
Published: (2025)

Specifying the Intrinsic Back-action of a General Measurement
by: Sun, Liang-Liang, et al.
Published: (2025)

Carmichael Numbers with a Specified Number of Prime Factors
by: Larsen, Daniel, et al.
Published: (2025)

Specifying an Obligation Taxonomy in the Non-Markovian Situation Calculus
by: Kalala, Kalonji, et al.
Published: (2025)

The Molecular Features of Chronic Eosinophilic Leukemia, Not Otherwise Specified
by: Shiqiang Qu, et al.
Published: (2025)

Testing for Peer Effects without Specifying the Network Structure
by: Jung, Hyunseok, et al.
Published: (2023)

Specifying Genericity through Inclusiveness and Abstractness Continuous Scales
by: Collacciani, Claudia, et al.
Published: (2024)

The Types and Consistency of Participant‐Specified Proxies During SPRINT
by: Sarah A. Gaussoin, et al.
Published: (2024)

Specifying a model for the study of entrepreneurship in household heads
by: Cruz García Lirios
Published: (2017)

General Transdiagnostic Specifier: The case of limited prosocial emotions
by: Francisco R. de la Peña
Published: (2022)

Can Users Specify Driving Speed? Bench2Drive-Speed: Benchmark and Baselines for Desired-Speed Conditioned Autonomous Driving
by: Shao, Yuqian, et al.
Published: (2026)

Prism: A Minimal Compositional Metalanguage for Specifying Agent Behavior
by: Binard, Franck, et al.
Published: (2025)

Uniqueness Theorem: With Normal Components Specified on External Spherical Surface
by: Talashila, Rajavardhan
Published: (2025)

Air-Ground Collaboration for Language-Specified Missions in Unknown Environments
by: Cladera, Fernando, et al.
Published: (2025)

Temporal Information Retrieval via Time-Specifier Model Merging
by: Han, SeungYoon, et al.
Published: (2025)

Prospectively Specified Adaptive Bayesian Borrowing: Considerations, Methodologies, and Implementations
by: Saurabh Mukhopadhyay, et al.
Published: (2025)

Scenario Approach with Post-Design Certification of User-Specified Properties
by: Carè, Algo, et al.
Published: (2026)

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
by: Yaacov, Tom, et al.
Published: (2024)

Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods
by: Granberry, George, et al.
Published: (2024)

Formally Specifying the High-Level Behavior of LLM-Based Agents
by: Crouse, Maxwell, et al.
Published: (2023)

Multi-Round Human-AI Collaboration with User-Specified Requirements
by: Noorani, Sima, et al.
Published: (2026)

Specify and Edit: Overcoming Ambiguity in Text-Based Image Editing
by: Iakovleva, Ekaterina, et al.
Published: (2024)

Reduction‐Specified Coupling Reactions of Nitroarenes by Heterogeneous Cobalt Catalysis
by: Jia‐Lu Sun, et al.
Published: (2024)

Specifying the Cardio‐Respiratory Patterns During Fast‐Paced Breathing
by: Maša Iskra, et al.
Published: (2026)

An Exercise Demonstrating the Selection of Greener Compounds for a Specified Application
by: Vanderveen, Jesse R., et al.
Published: (2021)