Sublime

a couple of the top of my head:

• LLM in the loop with preference optimization


• synthetic data generation


• cross modality "distillation" / dictionary remapping


• constrained decoding

一款适合需要处理大量非结构化AI数据的工具：datachain，支持多模态API调用和本地AI推理并行处理 可以用它结合大模型一起使用，来完成复杂的数据分析任务，比如做，数据处理和清洗、LLM分析和验证、图像分割等 支持图片、视频、文本、PDF、JSON、CSV、parquet等智能统一管理，自动保存处理记录和版本 可以直接从各种云存储，比如谷歌云、亚马逊云或者本地读取数据，无需手动复制 支持智能搜索和分析，支持超大数据集处理、并行处理___LINEBREAK__... See more

Chinese Quant Fund Turned AI Pioneer The birth of DeepSeek (a rival to OpenAI) https://t.co/wxoGC8Wnnb

"LeanAgent: Lifelong Learning for Formal Theorem Proving" (#ICLR2025) - our new paper in how AI can continuously prove math theorems without forgetting previous knowledge. Current AI approaches to formal theorem proving face a fundamental limitation: they're trained on specific datasets (typically undergraduate math) an... See more