Type Systems, Formal Methods, Lambda Calculus, Category Theory
Meet the Redpanda Documentation MCP server
redpanda.comยท23h
ChartMaster: Advancing Chart-to-Code Generation with Real-World Charts and Chart Similarity Reinforcement Learning
arxiv.orgยท19h
PlantVillageVQA: A Visual Question Answering Dataset for Benchmarking Vision-Language Models in Plant Science
arxiv.orgยท19h
Tractable Stochastic Hybrid Model Predictive Control using Gaussian Processes for Repetitive Tasks in Unseen Environments
arxiv.orgยท19h
Multimodal Medical Endoscopic Image Analysis via Progressive Disentangle-aware Contrastive Learning
arxiv.orgยท19h
Proximal Supervised Fine-Tuning
arxiv.orgยท19h
Loading...Loading more...