Imagen de Portada

CoderQuan2/99stars: GTH v7.24.1 Verified Build: Formal Substrate

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autor principal:	CoderQuan2
Formato:	Recurso digital
Publicado:	Zenodo 2026
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

GTH Algorithm, Censored Markov Chains, and $RG$-Factorization in Block-Form
por: Bu, Qihui, et al.
Publicado: (2026)

WybeCoder: Verified Imperative Code Generation
por: Gloeckle, Fabian, et al.
Publicado: (2026)

StarCoder 2 and The Stack v2: The Next Generation
por: Lozhkov, Anton, et al.
Publicado: (2024)

Hong2Guo/EBONC: EBONC algorithm NS2 v1.0
por: Hong2Guo
Publicado: (2025)

High-Order, Implicit Time Integration of Discrete, Chaotic Dynamical Systems
por: Morozova, Viktoriya, et al.
Publicado: (2023)

Measurement of Androgen‐Sensitive Preweaning Developmental Landmarks in Rodents: Best Practices and Toxicological Significance
por: Ross Gillette, et al.
Publicado: (2025)

feri2ciencias/LacUnique: v1.0.0 – Data and scripts for Lac Unique
por: feri2ciencias
Publicado: (2026)

VisCoder2: Building Multi-Language Visualization Coding Agents
por: Ni, Yuansheng, et al.
Publicado: (2025)

Medieval Buildings pack - Free download
por: tobiasherbers2
Publicado: (2021)

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
por: Monniaux, David
Publicado: (2024)

CTNN-ASDRP/CTNN-Double-Pendulum: Double Pendulum Repository - CTNN 2
por: SaiNara532, et al.
Publicado: (2025)

ucsdmanorlab/abranalysis: ABRA v0.1.1 Release
por: abhierra2, et al.
Publicado: (2025)

Accelerating Parallel Tempering: Quantile Tempering Algorithm (QuanTA)
por: Tawn, Nicholas G., et al.
Publicado: (2018)

DemoQuanDT: A Carrier-Grade QKD Network
por: Horoschenkoff, P., et al.
Publicado: (2025)

rStar-Coder: Scaling Competitive Code Reasoning with a Large-Scale Verified Dataset
por: Liu, Yifei, et al.
Publicado: (2025)

A Formally Verified Lightning Network
por: Fabiański, Grzegorz, et al.
Publicado: (2025)

Formally Verified Approximate Policy Iteration
por: Schäffeler, Maximilian, et al.
Publicado: (2024)

morgan-heisler/DeckBench: v1.0.0 — DECKBench Initial Release (KDD 2026)
por: dsjang2, et al.
Publicado: (2026)

Qwen2.5-Coder Technical Report
por: Hui, Binyuan, et al.
Publicado: (2024)

QuanForge: A Mutation Testing Framework for Quantum Neural Networks
por: Shao, Minqi, et al.
Publicado: (2026)

Tạp chí Quản lý và Kinh tế Quốc tế
Publicado: (2022)

QuanTaxo: A Quantum Approach to Self-Supervised Taxonomy Expansion
por: Mishra, Sahil, et al.
Publicado: (2025)

QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems
por: Shi, Jinjing, et al.
Publicado: (2024)

QuanBench: Benchmarking Quantum Code Generation with Large Language Models
por: Guo, Xiaoyu, et al.
Publicado: (2025)

FormalRTL: Verified RTL Synthesis at Scale
por: Li, Kezhi, et al.
Publicado: (2026)

Formally Verifying the Security of Probabilistic Oblivious Algorithms
por: Yan, Pengbo
Publicado: (2025)

Closure Properties of General Grammars -- Formally Verified
por: Dvorak, Martin, et al.
Publicado: (2023)

Formally Verified Binary-level Pointer Analysis
por: Verbeek, Freek, et al.
Publicado: (2025)

Formally Verified Linear-Time Invertible Lexing
por: Chassot, Samuel, et al.
Publicado: (2025)

vAttention: Verified Sparse Attention
por: Desai, Aditya, et al.
Publicado: (2025)

Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
por: Govindankutty, Arun, et al.
Publicado: (2026)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
por: Ileri, Atalay Mert, et al.
Publicado: (2024)

AdilKhan000/Formal_Analysis: Formal Analysis Scripts of STRP protocol - v1.0.2
por: AdilKhan000
Publicado: (2025)

State-of-the-art Small Language Coder Model: Mify-Coder
por: Parmar, Abhinav, et al.
Publicado: (2025)

Critique-Coder: Enhancing Coder Models by Critique Reinforcement Learning
por: Ruan, Chi, et al.
Publicado: (2025)

QuanEstimation.jl: An open-source Julia framework for quantum parameter estimation
por: Yu, Huai-Ming, et al.
Publicado: (2024)

QuanCrypt-FL: Quantized Homomorphic Encryption with Pruning for Secure Federated Learning
por: Mia, Md Jueal, et al.
Publicado: (2024)

El Taiji Quan y Qigong en la promoción de la salud y en el afrontamiento del estrés. Taiji Quan and Qigong in promoting health and coping stress
por: Carrillo, Jesús, et al.
Publicado: (2017)

Formally Verifying Noir Zero Knowledge Programs with NAVe
por: Antonino, Pedro, et al.
Publicado: (2026)

Towards Verified and Targeted Explanations through Formal Methods
por: Wang, Hanchen David, et al.
Publicado: (2026)