Trần Ngọc Minh

  • Agent luôn-bật và agent chạy cục bộ lên ngôi

    Ở nhóm paper, LAP mở ra hướng agent điều khiển thiết bị khoa học thông qua giao thức Agent-to-Instrument, cho thấy AI không chỉ đọc tài liệu mà có thể tham gia vào quy trình thí nghiệm. Proof-Refactor đưa AI vào chứng minh hình thức, tập trung biến proof do AI tạo thành artifact mô-đun, dễ bảo trì hơn. When to Re-Plan và StepFinder tiếp tục nhấn mạnh năng lực kiểm soát trajectory: agent phải biết khi nào cần lập kế hoạch lại và hệ multi-agent sai ở bước nào. Code-on-Graph cho thấy LLM có thể viết code để…