Codes for "GenAL: Generative Agent for Adaptive Learning" (AAAI'2025)
☆22Apr 18, 2025Updated last year
Alternatives and similar repositories for GenAL
Users that are interested in GenAL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆14Jan 21, 2025Updated last year
- ☆33Apr 8, 2025Updated last year
- A modular system for personalized learning exploration.☆18Oct 10, 2025Updated 11 months ago
- ☆34Aug 18, 2025Updated last year
- Official Implementation for the ICLR2023 paper "Fuzzy Alignments in Directed Acyclic Graph for Non-autoregressive Machine Translation"☆14Mar 1, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- [ACL'24 Oral] Code for 'Rewriting the Code: A Simple Method for Large Language Model Augmented Code Search'☆18Sep 30, 2024Updated last year
- ☆60Jul 29, 2025Updated last year
- [ICLR 2024]: Is Self-Repair a Silver Bullet for Code Generation?☆15May 2, 2024Updated 2 years ago
- 补充了一些Visualglm缺少的文件，可以对Visualglm进行训练，实例中是对人脸做了面相的识别☆13Jun 7, 2023Updated 3 years ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 7 years ago
- ☆10Jun 1, 2024Updated 2 years ago
- Source code of DisenHAN: Disentangled Heterogeneous Graph Attention Network for Recommendation, CIKM 2020☆14Mar 18, 2023Updated 3 years ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- [ACL25' Findings] SWE-Dev is an SWE agent with a scalable test case construction pipeline.☆66Jul 21, 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.
- [ICML 2024] Official repository of ICML 2024 - RoboMP2: A Robotic Multimodal Perception-Planning Framework with Multimodal Large Language…☆12Apr 4, 2026Updated 5 months ago
- A unified framework to evaluate path reasoning methods across multiple beyond accuracy dimension and path (explanation) quality perspecti…☆14Mar 20, 2024Updated 2 years ago
- This site is hopefully a springboard for others to learn about coding in System Verilog and experimenting with FPGAs.☆23Updated this week
- ☆23Dec 7, 2023Updated 2 years ago
- 用Kinova Gen3实机实现Rekep☆11Mar 18, 2025Updated last year
- ☆13Oct 9, 2024Updated last year
- ☆12Apr 22, 2025Updated last year
- ReKep Experiment on UR5 based on kinova arm☆14Apr 25, 2025Updated last year
- Source code for "Fleet of Agents: Coordinated Problem Solving with Large Language Models"☆17Jul 13, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆16Feb 26, 2024Updated 2 years ago
- ☆18Sep 11, 2026Updated last week
- [NCA] Official implementation of the paper Motion2Language, Unsupervised learning of synchronized semantic motion segmentation☆14Sep 9, 2024Updated 2 years ago
- The first large scale formally verified reasoning dataset for Verilog☆25May 16, 2025Updated last year
- Vision Transformer (ViT) models, with their attention mechanisms, revolutionized computer vision. By merging Class Activation Map (CAM) a…☆13Aug 14, 2023Updated 3 years ago
- This is the official implementation for MA-LoT.☆20Aug 4, 2025Updated last year
- HACMan++ code release. RSS 2024.☆22Dec 23, 2024Updated last year
- ☆26May 17, 2026Updated 4 months ago
- ☆14Mar 5, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Official implementation of paper on IROS 2026 "Long-Horizon Robotic Manipulation with Progressive In-Context Code Generation and Episodic…☆20Jun 17, 2026Updated 3 months ago
- Coeditor: Leveraging Repo-level Diffs for Code Auto-editing☆31Feb 25, 2024Updated 2 years ago
- ☆17Sep 2, 2021Updated 5 years ago
- ☆13Nov 20, 2023Updated 2 years ago
- Repo for Paper "OpenHA: A Series of Open-Source Hierarchical Agentic Models in Minecraft"☆44Jun 5, 2026Updated 3 months ago
- ☆26Jun 28, 2026Updated 2 months ago
- Official implementation of "AIR: Analytic Imbalance Rectifier for Continual Learning"☆20Jan 7, 2025Updated last year