generating formally verified C code with LLMs (thesis Merlijn Sevenhuijsen) http://urn.kb.se/resolve?urn=urnsediva-356745
☆14Jun 7, 2026Updated 4 months ago
Alternatives and similar repositories for Vecogen
Users that are interested in Vecogen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AI-Assisted Verification of Data Structures☆24May 27, 2026Updated 4 months ago
- ☆13Jan 29, 2026Updated 8 months ago
- A Rust implementation of Sumit Gulwani. Automating string processing in spreadsheets using input-output examples. POPL'11.☆13Feb 17, 2023Updated 3 years ago
- DARPA CASE program☆16Jun 10, 2025Updated last year
- A DL compiler fuzzer☆15Nov 1, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Automated Controller Synthesis☆15Jun 27, 2018Updated 8 years ago
- My solutions to problems in Programming Pearls (Jon Bentley)☆13Apr 16, 2020Updated 6 years ago
- Sample-Efficient Online Learning in LM Agents via Hindsight Trajectory Rewriting☆14Jan 2, 2026Updated 9 months ago
- Clover: Closed-Loop Verifiable Code Generation☆50May 12, 2025Updated last year
- ☆17Nov 22, 2025Updated 11 months ago
- 在线高雅人士/恶俗企鹅表情包制作☆18Feb 22, 2026Updated 8 months ago
- ☆14Feb 7, 2020Updated 6 years ago
- tool of llm-based indirect-call analyzer☆32Sep 27, 2026Updated 3 weeks ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆22Mar 20, 2026Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The public blockchain vulnerability dataset released in our FSE'22 paper☆10Aug 22, 2022Updated 4 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- Isabelle LLVM Code Generator and Refinement☆30Oct 1, 2026Updated 3 weeks ago
- Code for the papers: "Stop Throwing Away Discriminators! Re-using Adversaries for Test-Time Training", Valvano et al., DART 2021; and "Re…☆10Jan 20, 2022Updated 4 years ago
- Implementing ONNX runtime for android to run Segment Anything Model 2☆12Aug 1, 2025Updated last year
- ☆28Oct 1, 2026Updated 3 weeks ago
- ☆28Sep 27, 2024Updated 2 years ago
- Evaluating Program Reasoning of LLMs via Formal Specification Inference (ACL 2025)☆20Sep 21, 2025Updated last year
- Gradient-based Hyperparameter Optimization Over Long Horizons☆14Sep 29, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Everything related to Bookalope and its REST API.☆16May 16, 2021Updated 5 years ago
- 美赛爬虫，美国大学生数学建模竞赛证书爬取及信息OCR识别分析☆16Jun 25, 2022Updated 4 years ago
- [ICLR 2025] On the Adversarial Risk of Test Time Adaptation: An Investigation into Realistic Test-Time Data Poisoning☆13Feb 25, 2025Updated last year
- compare the theory attention gradient with PyTorch attention gradient☆16Apr 1, 2024Updated 2 years ago
- ☆23Apr 16, 2026Updated 6 months ago
- Implementation for What it Thinks is Important is Important: Robustness Transfers through Input Gradients (CVPR 2020 Oral)☆16Mar 24, 2023Updated 3 years ago
- ☆16Mar 17, 2025Updated last year
- ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation. AAAI, 2025☆16Aug 25, 2025Updated last year
- [ICLR 2025] Official implementation for "StringLLM: Understanding the String Processing Capability of Large Language Models"☆22Jan 23, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.☆14Apr 9, 2021Updated 5 years ago
- Code for paper "FuSeConv Fully Separable Convolutions for Fast Inference on Systolic Arrays" published at DATE 2021☆18Aug 23, 2021Updated 5 years ago
- Static Analysis meets Large Language Models☆56May 6, 2024Updated 2 years ago
- (AAAI 2026) OSVBench, a new benchmark for evaluating Large Language Models (LLMs) in generating complete specification code pertaining to…☆17May 13, 2025Updated last year
- reanalysis of the ObjectNet paper and our annotations and code☆16Mar 4, 2021Updated 5 years ago
- Adversarial Robustness in Graph Neural Networks: A Hamiltonian Energy Conservation Approach☆16Apr 27, 2024Updated 2 years ago
- Structural Reasoning About Program Correctness in Natural Language☆23Jun 23, 2025Updated last year