TranslatedDeepAnalyze is the first agentic LLM for autonomous data science. 🎈Your AI data analyst, automatically analyzes large amounts of data and generates professional analysis reports with one click!
Repository Index
65,264 visible repositories in the index
1–9 of 9 · Most stars
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
Lingvo
- speech-recognition
- translation
- speech-to-text
- machine-translation
Spectral simulation of analog photography processes
Medical LLM agent and MRI segmentation workspace built on PharmaLLM, with LangGraph, vLLM, and BEU-Net.
LLM for Drug Editing, ICLR 2024
- chatgpt
- conversation
- drug
- drug-discovery
Learning cell communication from spatial graphs of cells
- tensorflow
- gnn
- glm
- cvae
CASSIA: A Multi-Agent LLM-Based Single-Cell Cell Type Annotation Framework
- ai4science
- llm
- multiagent-systems
- prompt-engineering
MCP server for spatial transcriptomics analysis through natural language interfaces.
- bioinformatics
- cell-communication
- deconvolution
- machine-learning