Implementation for paper Automata Extraction from Transformers.
☆12Jun 8, 2024Updated last year
Alternatives and similar repositories for Transfomer2DFA
Users that are interested in Transfomer2DFA are comparing it to the libraries listed below
Sorting:
- implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples☆77Dec 3, 2019Updated 6 years ago
- Benchmarking Hamming Distance implementations in Rust☆15Feb 10, 2026Updated 3 weeks ago
- ☆16Jun 20, 2021Updated 4 years ago
- implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019☆18Jan 8, 2020Updated 6 years ago
- Official implementation repository for the paper Towards General Conceptual Model Editing via Adversarial Representation Engineering.☆19Dec 6, 2024Updated last year
- This is official repo of CVPR2024 paper "NECA: Neural Customizable Human Avatar".☆29Mar 26, 2024Updated last year
- Black-box extraction of Finite-State Machines from RNNs.☆22Apr 14, 2022Updated 3 years ago
- Pytorch implementation of same-family gaussian mixture models with guardrails. Features separable parameter optimization and singularity …☆26May 31, 2025Updated 9 months ago
- Principal Component Anlaysis (PCA) in PyTorch.☆39Jul 10, 2025Updated 7 months ago
- ☆33Dec 20, 2023Updated 2 years ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆28Mar 21, 2023Updated 2 years ago
- Codebase for fine-tuning Llama2 70B to generate math test questions and answers.☆11Aug 30, 2024Updated last year
- Local Relighting of Real Scenes☆35Dec 29, 2022Updated 3 years ago
- A Quick Research of Active Automata Learning☆32Mar 13, 2020Updated 5 years ago
- [CVPR 2023] Castling-ViT: Compressing Self-Attention via Switching Towards Linear-Angular Attention During Vision Transformer Inference☆30Mar 14, 2024Updated last year
- Repo for paper "CODIS: Benchmarking Context-Dependent Visual Comprehension for Multimodal Large Language Models".☆12Oct 14, 2024Updated last year
- Concurrency library☆17Oct 13, 2024Updated last year
- ☆11Dec 23, 2024Updated last year
- A future game about space. Currently state-of-the-art Bevy-Lunex UI implementation.☆12Sep 17, 2023Updated 2 years ago
- [AAAI2024] An official pytorch implement of the paper: Vision-Language Pre-training with Object Contrastive Learning for 3D Scene Underst…☆13Dec 8, 2024Updated last year
- Models for packages and the resources they contain.☆14Mar 10, 2024Updated last year
- ☆10Apr 7, 2024Updated last year
- Official implementation of the paper "Light Transport-aware Diffusion Posterior Sampling for Single View Reconstruction of Volumes"☆17Aug 1, 2025Updated 7 months ago
- Develop C++/CUDA extensions with PyTorch like Python scripts☆10Mar 2, 2026Updated last week
- An active inference model of Lacanian psychoanalysis☆15Jun 7, 2025Updated 9 months ago
- Material parsers and other tools, scripts Initially developed for Grobid Superconductor☆13Feb 21, 2025Updated last year
- Original VinVL visual backbone with simplified APIs to easily extract features, boxes, object detections, in a few lines of Python code.☆11Nov 27, 2022Updated 3 years ago
- Python Inference Script(PyIS)☆19Aug 30, 2022Updated 3 years ago
- CANdle - a library for using USB-FDCAN dongle and communicating with md80 drives☆15Sep 15, 2025Updated 5 months ago
- MILO perceptual quality metric☆22Dec 8, 2025Updated 3 months ago
- codes and plots for "Active-Dormant Attention Heads: Mechanistically Demystifying Extreme-Token Phenomena in LLMs"☆10Dec 30, 2024Updated last year
- 🧩 Design-Information-Modeling for Kit-of-Parts 🏘️☆16Updated this week
- A port of the RWKV v7 language model, implemented with the Burn deep learning framework☆14Jun 9, 2025Updated 9 months ago
- ☆11Jan 19, 2025Updated last year
- ☆11Jan 3, 2024Updated 2 years ago
- ☆14Dec 25, 2024Updated last year
- [AAAI 2024] Rethinking Mesh Watermark: Towards Highly Robust and Adaptable Deep 3D Mesh Watermarking☆16Nov 22, 2024Updated last year
- ☆46Sep 27, 2024Updated last year
- [KDD24-ADS] R-Eval: A Unified Toolkit for Evaluating Domain Knowledge of Retrieval Augmented Large Language Models☆11Apr 9, 2024Updated last year