google-research / r_u_sureLinks
Code accompanying the paper "R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents"
☆18Updated 4 months ago
Alternatives and similar repositories for r_u_sure
Users that are interested in r_u_sure are comparing it to the libraries listed below
Sorting:
- 🔍 Code Search Tools & Experiments☆12Updated last month
- Heavyweight Python dynamic analysis framework☆17Updated last year
- General-purpose program synthesiser☆48Updated last year
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated 2 years ago
- ☆43Updated 2 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated 5 months ago
- Two Automatic code completion IDE extensions for @JetBrains and @microsoft/vscode based on Transformer-based large language models for so…☆56Updated last year
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated last year
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 years ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- Using Large Language Models for Repo-wide Type Prediction☆112Updated last year
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆65Updated 2 years ago
- ☆21Updated 3 years ago
- LLM sampling method for enforcing syntax adherence in generated output☆24Updated 2 years ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆78Updated 5 months ago
- A python library to manipulate formal languages and various automata☆55Updated 2 months ago
- Probabilistic LLM evaluations. [CogSci2023; ACL2023]☆72Updated last year
- LLM verified with Monte Carlo Tree Search☆282Updated 7 months ago
- CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…☆41Updated last month
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆43Updated 2 years ago
- ☆10Updated 5 years ago
- gradient-based symbolic execution engine implemented from scratch☆34Updated last year
- This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…☆24Updated 3 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Updated 2 years ago
- Repository for analysis and experiments in the BigCode project.☆126Updated last year
- Code for "The Whole Truth and Nothing But the Truth: Faithful and Controllable Dialogue Response Generation with Dataflow Transduction an…☆10Updated last year
- [FORGE 2025] Graph-based method for end-to-end code completion with context awareness on repository☆66Updated last year
- ☆53Updated 8 months ago
- ☆18Updated 3 years ago