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
- ☆32Apr 8, 2025Updated last year
- A modular system for personalized learning exploration.☆17Oct 10, 2025Updated 10 months ago
- WebApp1k benchmark☆14Nov 21, 2025Updated 9 months ago
- A lightweight RL environment for query optimization.☆15Sep 13, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- [ACL'24 Oral] Code for 'Rewriting the Code: A Simple Method for Large Language Model Augmented Code Search'☆18Sep 30, 2024Updated last year
- Source codes and datasets for paper "Leveraging Transferable Knowledge Concept Graph Embedding for Cold-Start Cognitive Diagnosis" (SIGIR…☆22Mar 15, 2024Updated 2 years ago
- [AAAI 2025] Augmenting Math Word Problems via Iterative Question Composing (https://arxiv.org/abs/2401.09003)☆23Oct 2, 2025Updated 10 months ago
- [WWW '25 Oral - GenMentor] Official code of our paper "LLM-powered Multi-agent Framework for Goal-oriented Learning in Intelligent Tutori…☆84Updated this week
- ☆17Sep 2, 2025Updated 11 months ago
- wavedrom to verilog converter☆17Sep 14, 2021Updated 4 years ago
- ☆22Nov 1, 2025Updated 9 months ago
- I fine-tuned (p-tuning) Tsinghua’s open-source large language model, ChatGLM2-6B, using several years of my WeChat chat history. Inspired…☆12Mar 6, 2024Updated 2 years ago
- 组成原理课程实验：MIPS 流水线CPU，实现36条指令，转发，冒险检测☆11Feb 5, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- [AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(http…☆16Jul 10, 2024Updated 2 years ago
- ☆17Jul 12, 2025Updated last year
- Linux 101 is a course organized by several members of LUG@USTC. It is designed to popularize Linux and open source culture in USTC. First…☆25Mar 14, 2020Updated 6 years ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- Awesome artificial intelligence (AI) and large language model (LLM) for education papers.☆214Aug 11, 2026Updated 2 weeks ago
- [ACL25' Findings] SWE-Dev is an SWE agent with a scalable test case construction pipeline.☆65Jul 21, 2025Updated last year
- [ICML 2024] Official repository of ICML 2024 - RoboMP2: A Robotic Multimodal Perception-Planning Framework with Multimodal Large Language…☆12Apr 4, 2026Updated 4 months ago
- ☆16Sep 20, 2025Updated 11 months ago
- IJCAI 2022 MLP4Rec☆17Sep 5, 2022Updated 3 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.
- This site is hopefully a springboard for others to learn about coding in System Verilog and experimenting with FPGAs.☆21Updated this week
- The Official Repo for Paper: Aligning Clinical Needs and AI Capabilities: A Survey on LLMs for Medical Reasoning☆24Apr 7, 2026Updated 4 months ago
- metaTextGrad: Automatically optimizing language model optimizers. Published in NeurIPS 2025.☆15Nov 5, 2025Updated 9 months ago
- Official github repo for E-Eval, a Chinese K12 education evaluation benchmark for LLMs.☆33Feb 19, 2024Updated 2 years ago
- ☆23Dec 7, 2023Updated 2 years ago
- ☆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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆16Feb 26, 2024Updated 2 years ago
- [ICLR 2026] TwinVLA : Data-Efficient Bimanual Manipulation with Twin Single-Arm Vision-Language-Action Models☆20May 29, 2026Updated 3 months ago
- ☆18Nov 6, 2025Updated 9 months ago
- ☆25May 17, 2026Updated 3 months ago
- [NCA] Official implementation of the paper Motion2Language, Unsupervised learning of synchronized semantic motion segmentation☆14Sep 9, 2024Updated last year
- Official code space for "SWE-Dev: Evaluating and Training Autonomous Feature-Driven Software Development"☆62Oct 24, 2025Updated 10 months ago
- The first large scale formally verified reasoning dataset for Verilog☆23May 16, 2025Updated last year