[๋ ผ๋ฌธ๋ฆฌ๋ทฐ] Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
Zhicheng Jiang์ด [arXiv]์ ๊ฒ์ํ โSeed-Prover: Deep and Broad Reasoning for Automated Theorem Provingโ ๋ ผ๋ฌธ์ ๋ํ ์์ธํ ๋ฆฌ๋ทฐ์ ๋๋ค.
Recent Posts
[๋ ผ๋ฌธ๋ฆฌ๋ทฐ] Scalable Multi-Task Reinforcement Learning for Generalizable Spatial Intelligence in Visuomotor Agents
Anji Liu์ด [arXiv]์ ๊ฒ์ํ โScalable Multi-Task Reinforcement Learning for Generalizable Spatial Intelligence in Visuomotor Agentsโ ๋ ผ๋ฌธ์ ๋ํ ์์ธํ ๋ฆฌ๋ทฐ์ ๋๋ค.
[๋ ผ๋ฌธ๋ฆฌ๋ทฐ] RecGPT Technical Report
Jian Wu์ด [arXiv]์ ๊ฒ์ํ โRecGPT Technical Reportโ ๋ ผ๋ฌธ์ ๋ํ ์์ธํ ๋ฆฌ๋ทฐ์ ๋๋ค.
[๋ ผ๋ฌธ๋ฆฌ๋ทฐ] Phi-Ground Tech Report: Advancing Perception in GUI Grounding
Kai Qiu์ด [arXiv]์ ๊ฒ์ํ โPhi-Ground Tech Report: Advancing Perception in GUI Groundingโ ๋ ผ๋ฌธ์ ๋ํ ์์ธํ ๋ฆฌ๋ทฐ์ ๋๋ค.
[๋ ผ๋ฌธ๋ฆฌ๋ทฐ] Persona Vectors: Monitoring and Controlling Character Traits in Language Models
Jack Lindsey์ด [arXiv]์ ๊ฒ์ํ โPersona Vectors: Monitoring and Controlling Character Traits in Language Modelsโ ๋ ผ๋ฌธ์ ๋ํ ์์ธํ ๋ฆฌ๋ทฐ์ ๋๋ค.