google-research / pynsy

Related projects ⓘ

Alternatives and complementary repositories for pynsy

• google-research / runtime-error-prediction
  This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…
  ☆25Updated 2 years ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆26Updated 5 months ago
• google-deepmind / codesembench
  ☆13Updated 8 months ago
• gonglinyuan / ast_t5
  ☆54Updated 6 months ago
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆44Updated 3 years ago
• google-research / crossbeam
  ☆43Updated last year
• google-research / babelcode
  ☆48Updated 3 months ago
• srush / drop7
  ☆18Updated 7 months ago
• google-research / plur
  PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…
  ☆87Updated 2 years ago
• lenianiva / PyPantograph
  A Machine-to-Machine Interaction System for Lean 4.
  ☆16Updated last week
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated last year
• facebookresearch / GCD
  Computing the greatest common divisor with transformers, source code for the paper https//arxiv.org/abs/2308.15594
  ☆12Updated 7 months ago
• srush / anynp
  Proof-of-concept of global switching between numpy/jax/pytorch in a library.
  ☆18Updated 5 months ago
• eth-sri / proof-sharing
  CAV'22 paper to speed up Neural Network Verification.
  ☆14Updated last year
• madaan / pie-perf
  Training language models to make programs faster
  ☆83Updated 7 months ago
• nunoplopes / torchy
  A tracing JIT compiler for PyTorch
  ☆12Updated 2 years ago
• VITA-Group / ChainCoder
  [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …
  ☆37Updated last year
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆15Updated 3 months ago
• foundation-model-stack / fms-extras
  ☆20Updated 2 months ago
• shrivastavadisha / N-PEPS
  ☆18Updated 2 years ago
• srush / Tensor-Puzzles-Penzai
  ☆19Updated 6 months ago
• facebookexperimental / protoquant
  Prototype routines for GPU quantization written using PyTorch.
  ☆19Updated last week
• google-deepmind / alta
  ☆15Updated last month
• Mondego / dafny-synthesis
  Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆33Updated 5 months ago
• nyu-mll / ILF-for-code-generation
  ☆75Updated last year
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆34Updated 3 weeks ago
• Lightning-AI / lightning-Habana
  Lightning support for Intel Habana accelerators.
  ☆25Updated this week
• likenneth / q_probe
  Q-Probe: A Lightweight Approach to Reward Maximization for Language Models
  ☆37Updated 5 months ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆45Updated last month
• trishullab / copra
  COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
  ☆47Updated 3 weeks ago