☆25Nov 23, 2021Updated 4 years ago
Alternatives and similar repositories for latent-execution
Users that are interested in latent-execution are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆21Oct 6, 2021Updated 4 years ago
- Deepcoder paper implementation☆121May 2, 2023Updated 3 years ago
- [ICLR 2024] This is the official implementation for the paper: "Beyond imitation: Leveraging fine-grained quality signals for alignment"☆10May 5, 2024Updated 2 years ago
- A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic re…☆168Oct 6, 2021Updated 4 years ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated 11 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge☆14Feb 25, 2021Updated 5 years ago
- Adapting the AlphaZero algorithm to remove the need of execution traces to train NPI.☆79Oct 3, 2023Updated 2 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Feb 18, 2019Updated 7 years ago
- ☆13Dec 31, 2022Updated 3 years ago
- ☆12Oct 29, 2022Updated 3 years ago
- ☆15Oct 19, 2021Updated 4 years ago
- Official code release of our NeurIPS '19 paper "SPoC: Search-based Pseudocode to Code"☆18Dec 18, 2022Updated 3 years ago
- A static deobfuscator for JavaScript Malware☆13May 6, 2020Updated 6 years ago
- The dataset, source code and the results of our ESEC/FSE 2023 paper "An Extensive Study on Adversarial Attack against Pre-trained Models …☆15Feb 19, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ADD extracts features from patches such as repair patterns.☆13Oct 2, 2023Updated 2 years ago
- ☆36Jul 29, 2025Updated 11 months ago
- We propose a novel adversarial example generation technique (i.e., CODA) for testing deep code models. Its key idea is to use code differ…☆21Oct 8, 2023Updated 2 years ago
- ☆13Aug 4, 2022Updated 3 years ago
- ☆15Dec 2, 2022Updated 3 years ago
- Implementation of "Learning latent subspaces in variational autoencoders"☆20Dec 31, 2019Updated 6 years ago
- ☆16Sep 27, 2021Updated 4 years ago
- 微信小程序 扫雷小游戏☆21Oct 11, 2017Updated 8 years ago
- Bayesian scaling laws for in-context learning.☆16Mar 12, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A personal project where I publish my research paper notes on a weekly basis.☆13Jul 28, 2021Updated 4 years ago
- The official implementation of DeepRTL: Bridging Verilog Understanding and Generation with a Unified Representation Model (ICLR 2025)☆17Dec 18, 2025Updated 6 months ago
- ☆12Sep 29, 2021Updated 4 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆55Sep 17, 2025Updated 9 months ago
- A generative model of compositionality in symmetric monoidal (Kleisli) categories☆12Oct 4, 2023Updated 2 years ago
- ☆14Aug 18, 2023Updated 2 years ago
- [NeurIPS 2022] DreamShard: Generalizable Embedding Table Placement for Recommender Systems☆28Mar 24, 2023Updated 3 years ago
- Checkout the new version at the link!☆22Dec 11, 2020Updated 5 years ago
- Rough codebase for exploring initialization strategies for new word embeddings in pretrained LMs☆19Dec 10, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Implementation of deep kernels in GPyTorch and Pyro☆13Jan 19, 2021Updated 5 years ago
- A robust Linear Genetic Programming implementation on the JVM using Kotlin.☆18Oct 25, 2021Updated 4 years ago
- 🦎 Minimal Python command-line parser inspired by Facebook's Hydra. Handles and parses arbitrary arguments into dot-accessible nested dic…☆20Jan 20, 2022Updated 4 years ago
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆24Jul 7, 2023Updated 2 years ago
- Code for "DrS: Learning Reusable Dense Rewards for Multi-Stage Tasks"☆22Apr 26, 2024Updated 2 years ago
- ☆13Mar 22, 2015Updated 11 years ago
- 『StanとRでベイズ統計モデリング』のPython/Pyroによる再現実装☆18Jan 31, 2019Updated 7 years ago