DeLTA Lab @ SFU

university

https://delta-lab-ai.github.io/

AI & ML interests

None defined yet.

Recent Activity

ljlmike updated a Space 1 day ago

delta-lab-ai/Lean-Finder

ljlmike updated a Space 1 day ago

delta-lab-ai/Lean-Finder

jsong2333333 authored a paper 5 months ago

PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs

View all activity

spaces 1

Lean Finder

Code search for Lean 4

models 4

delta-lab-ai/controller

Text Generation • 7B • Updated 17 days ago • 9

delta-lab-ai/coder

Text Generation • 7B • Updated 17 days ago • 46

delta-lab-ai/translator

Text Generation • 7B • Updated 17 days ago • 11

delta-lab-ai/finetuned_coder

Text Generation • 7B • Updated 17 days ago • 16

datasets 1

delta-lab-ai/pde-controller

Preview • Updated Feb 18 • 65 • 2