Shows
Daily Paper CastSeed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
🤗 Upvotes: 65 | cs.AI, cs.CL
Authors:
Luoxin Chen, Jinming Gu, Liankai Huang, Wenhao Huang, Zhicheng Jiang, Allan Jie, Xiaoran Jin, Xing Jin, Chenggang Li, Kaijing Ma, Cheng Ren, Jiawei Shen, Wenlei Shi, Tong Sun, He Sun, Jiahui Wang, Siran Wang, Zhihong Wang, Chenrui Wei, Shufa Wei, Yonghui Wu, Yuchen Wu, Yihang Xia, Huajian Xin, Fan Yang, Huaiyuan Ying, Hongyi Yuan, Zheng Yuan, Tianyang Zhan, Chi Zhang, Yue Zhang, Ge Zhang, Tianyun Zhao, Jianqiu Zhao, Yichi Zhou, Thomas Hanwen Zhu
Title:
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
Arxiv:
htt...2025-08-0221 min
Speak Chinese Like A Taiwanese Local#325 宜蘭國際童玩節 Yilan International Children's Folklore & Folkgame FestivalYilan International Children's Folklore & Folkgame FestivalLocation: 宜蘭縣五結鄉親河路2段2號 (No. 2, Section 2, Qinhe Road, Wujie Township, Yilan County)宜蘭 Yí lán – Yilan (a county in northeastern Taiwan)國際童玩節 guó jì tóng wán jié – International Children's Folklore & Folkgame Festival (a summer cultural and recreational event in Yilan)冬山河親水公園 Dōng shān hé qīn shuǐ gōng yuán – Dongshan River Water Park (a popular venue for festivals and outdoor activities in Yilan)宜蘭縣縣長 Yí lán xiàn xiàn zhǎng – Yilan County Magistrate (the elected head of Yilan County government)亞維儂藝術節 Yà wéi nóng yì shù jié – Avignon Festival (a famo...2025-07-1805 minDaily Paper CastInternVL3: Exploring Advanced Training and Test-Time Recipes for Open-Source Multimodal Models
🤗 Upvotes: 172 | cs.CV
Authors:
Jinguo Zhu, Weiyun Wang, Zhe Chen, Zhaoyang Liu, Shenglong Ye, Lixin Gu, Yuchen Duan, Hao Tian, Weijie Su, Jie Shao, Zhangwei Gao, Erfei Cui, Yue Cao, Yangzhou Liu, Xingguang Wei, Hongjie Zhang, Haomin Wang, Weiye Xu, Hao Li, Jiahao Wang, Dengnian Chen, Songze Li, Yinan He, Tan Jiang, Jiapeng Luo, Yi Wang, Conghui He, Botian Shi, Xingcheng Zhang, Wenqi Shao, Junjun He, Yingtong Xiong, Wenwen Qu, Peng Sun, Penglong Jiao, Han Lv, Lijun Wu, Kaipeng Zhang, Huipeng Deng, Jiaye Ge, Kai Chen, Limin Wang, Min Dou, Lewei Lu, Xizhou Zhu, Tong Lu, Dah...2025-04-1622 minSpeak Chinese Like A Taiwanese Local#283 在台北游泳 Swimming in Taipei熱到受不了 rè dào shòu bù liǎo - unbearably hot陽明山前山公園游泳池 yáng míng shān qián shān gōng yuán yóu yǒng chí - Yangmingshan Qianshan Park Swimming Pool天然山泉水 tiān rán shān quán shuǐ - natural mountain spring water清澈 qīng chè - clear; transparent刺鼻 cì bí - pungent; strong-smelling氯味 lǜ wèi - chlorine smell清爽 qīng shuǎng - refreshing; cool and pleasant沖洗 chōng xǐ - to rinse; to wash off塗抹 tú mǒ - to apply (a lotion, cream, etc.)防曬油 fáng shài yóu - sunscreen; sunb...2025-04-1106 minSpeak Chinese Like A Taiwanese Local#217 這個週末到台東看演唱會This weekend, go to Taitung for a concert !海濱公園 hǎi bīn gōng yuán - seaside park
精彩 jīng cǎi - wonderful, marvelous
盧廣仲 lú guǎng zhòng - name of a famous Taiwanese singer
林宥嘉 lín yòu jiā - name of a famous Taiwanese singer
羅志祥 luó zhì xiáng - name of a famous Taiwanese singer
登場 dēng chǎng - to appear on stage, to perform
煙火秀 yān huǒ xiù - fireworks show
台灣國際衝浪公開賽 tái wān guó jì chōng làng gōng kāi sài - Taiwan International Surfing Open
頂尖 dǐng jiān - top, elite
選手 xuǎ...2024-11-0805 min
Talkative MeiEp. 38 十月十四至十月二十日shí yuè shí sì zhì shí yuè èr shí rì (October 14th to October 20th)Let's Read Yi Mei's Weekly Diary
前天在等红绿灯时，抬头看到对面购物中心外牆上的广告写着「台中第六市场」。出于好奇，决定进去逛逛。没想到，裡面与印象中的传统市场截然不同。没有昏暗的灯光ヽ闷热的空气ヽ潮湿的地板与随处可见的垃圾，取而代之的是明亮宽敞又凉爽乾淨的购物空间。台中市民真是幸福啊!
Qiántiān zài děng hónglǜdēng shí，táitóu kàndào duìmiàn gòuwù zhōngxīn wài qiáng shàng de guǎnggào xiě zhe 「Táizhōng Dìliù Shìchǎng 」。 Chūyú hàoqí ， juédìng jìnqù guàngguàng 。Méi xiǎngdào，lǐmiàn yǔ yìnxiàng zhōng de chuántǒng shìchǎng jiéránbùtóng。Méiyǒu hūnàn de dēngguāng ヽmēnrè de kōngqìヽcháoshī de dìbǎn yǔ suíchù kě jiàn de lèsè ， qǔérdàizhī de shì míngliàng kuānchǎng yòu liángshuǎng gānjìng de gòuwù kōngjiān。 Táizhōng shìmín zhēnshì xìngfú ā !
字彙Vocabulary
1. 外牆:指建筑物向外可接受风吹日晒雨淋的牆面
w...2024-10-2701 min
BH Sales Kennel Kelp Holistic Healing HourY2K Bug Didn't Bite, But Sleep Did!with guest Rip Van Winkle! BH Sales Kennel Kelp Holistic Healing Hour, Grandpa Bill takes a hilarious trip down memory lane with none other than Rip Van Winkle himself! Grandpa Bill chats with Rip about the importance of sleep for brain health, and Rip shares his unique perspective on missing two decades thanks to a long snooze. Buckle up as we explore the science of sleep, the follies of the Y2K scare, and how to navigate a world that's changed dramatically while you were catching some Zzz's. Mandarin Translation: 本周在 BH Sales Kennel 海带整体疗愈小时，我们将与里普·凡·温克尔本人一起进行一次Hilarious的记忆之旅！ (běn zhōu zài BH Sales Kennel hǎidài zěn tí liáo yù xiǎo shí, wǒ men jiāng hé lǐ pǔ·fá...2024-03-3132 minBH Sales Kennel Kelp Holistic Healing HourY2K Bug Didn't Bite, But Sleep Did!with guest Rip Van Winkle! BH Sales Kennel Kelp Holistic Healing Hour, Grandpa Bill takes a hilarious trip down memory lane with none other than Rip Van Winkle himself! Grandpa Bill chats with Rip about the importance of sleep for brain health, and Rip shares his unique perspective on missing two decades thanks to a long snooze. Buckle up as we explore the science of sleep, the follies of the Y2K scare, and how to navigate a world that's changed dramatically while you were catching some Zzz's.
Mandarin Translation:
本周在 BH Sales Kennel 海带整体疗愈小时，我们将与里普·凡·温克尔本人一起进行一次Hilarious的记忆之旅！ (běn zhōu zài BH Sales Kennel hǎidài zěn tí liáo yù xiǎo shí, wǒ men jiāng hé lǐ pǔ·fán·wēn...2024-03-3132 min
瞎扯学中文 Convo ChineseEpisode 58 | 你最讨厌什么样的老板？What type of boss is the worst?Free transcript with Pinyin + Translation: https://www.yaya.press/web_reader/904c35bb-77de-4665-b40d-b6a676bc1169 www.yaya.press is a language learning web app. You can take notes with your language teacher during online classes, generate content, lessons and writing practices for any language for any level! How to use Yaya? Watch the tutorial video here: https://youtu.be/PPVUfRzlOHk If Yaya doesn't work for you, try here: transcript and vocabulary ---- 同事 tóngshì | colleague 职场 zhíchǎng | workplace 大同小异 dàtóngxiǎoyì | similar with slight differences ...2024-03-0219 minSpeak Chinese Like A Taiwanese Local#50 - 2023年台灣大新聞，好多台灣人被性騷擾... 2023Taiwan Big News: Many Taiwanese people got sexual harassment…發生了什麼事? What happened?
嚴肅 yán sù - serious
掀起 xiān qǐ - to stir up; to set off
波瀾 bō lán - waves; storm; turbulence
運動 yùn dòng - movement; campaign
性侵害 xìng qīn hài - sexual abuse
性騷擾 xìng sāo rǎo - sexual harassment
站出來 zhàn chū lái - to stand up; to speak out
痛苦 tòng kǔ - pain; suffering
摸 mō - to touch; to feel
社群媒體 shè qún méi tǐ - social media
主題標籤 zhǔ tí biāo qiān - hashtag
經歷 jīng lì - to experie...2023-10-0407 min
China in the World10 Years of U.S.-China DiplomacyTo commemorate the 10th anniversary of the China in the World podcast, Carnegie China is launching a series of lookback episodes, using clips from previous interviews to put current international issues in context. For the first episode in this series, the podcast looks back on ten years of U.S.-China diplomacy following the postponement of U.S. Secretary of State Antony Blinken’s planned visit to China in early 2023.The China in the World podcast has spanned three U.S. administrations and covered several historic bilateral meetings, from Obama and Xi’s summit in Sunnylands, California in J...2023-02-0841 min
窗前慧談：明慧之窗Podcast【明慧故事 ＠ 傳統故事廣播】為了一次地震 冥界準備了五十年有一句俗話:「冥冥之中自有天意」，有些人或許會覺得這句話太過於「宿命論」了。不過，不管我們是否傾向於宿命論，有一點是我們可以思考的，那就是如果有安排，那麼是誰安排的？是按照喜惡心情來安排的？還是有甚麼安排的原則呢？
//網頁連結：https://window.minghui.org/chuan-tong-gu-shi-guang-bo-wei-liao-yi-ci-di-zhen-ming-jie-zhun-bei-liao-wu-shi-nian/
//訂閱明慧之窗：https://window.minghui.org/landing/
//明慧之窗社群：https://linktr.ee/mh.window
//意見信箱：support@mhwindow.org2022-08-0711 min
MSN古文分享会MSN古文 第111期 千字文（梦西）治本于农 （zhì běn yú nóng）， 务兹稼穑 （wù zī jià sè）。
俶载南亩 （chù zǎi nán mǔ）， 我艺黍稷（wǒ yì shǔ jì）。
税熟贡新（shuì shú gòng xīn），劝赏黜陟（quàn shǎng chù zhì）。
孟轲敦素（mèng kē dūn sù），史鱼秉直（shǐ yú bǐng zhí）。
庶几中庸（shù jǐ zhōng yōng），劳谦谨敕（láo qiān jǐn chì）。
聆音察理（líng yīn chá lǐ），鉴貌辨色（jiàn mào biàn sè）。
贻厥嘉猷（yí jué jiā yóu），勉其祗植（miǎn qí zhī zhí）。
省躬讥诫（xǐng gōng jī jiè），宠增抗极（chǒng zēng kàng jí）。
殆辱近耻（dài rǔ jìn chǐ），林皋幸即（lín gāo xìng jí）。
两疏见机（liǎng shū jiàn jī），解组谁逼（jiě cú shuí bī）。
索居闲处（suǒ jū xián chǔ），沉默寂寥（chén mò jì liáo）。
求古寻论（qiú gǔ xún lùn），散虑逍遥（sǎn lǜ xiāo yáo）。
欣奏累遣（xīn zòu lèi qiǎn），戚谢欢招（qī xiè huān zhāo）...2022-02-0932 min
Takeaway ChineseSpace dream 太空梦想Wèi shén me/yào/jiàn/kōng jiān zhàn/ne?Why build a space station?Yīn wèi/zài/kōng jiān zhàn/lǐ/kě yǐ/gèng hǎo de/jìn xíng/tiān wén guān cè/, hái néng/wán chéng/hěn duō/dì qiú/shang/zuò bù liǎo de/shí yàn!Because astronomical observations can be better carried out in the space station, and many experiments that cannot be done on Earth can be completed there!2021-06-2737 min
Chinese Cabin春节票房冠军电影今年春节上映的电影中，票房第一的是一部喜剧电影，它讲的是关于自己和妈妈之间的故事。
jīn nián chūn jié shàng yìng de diàn yǐng zhōng , piào fáng dì yī de shì yī bù xǐ jù diàn yǐng , tā jiǎng de shì guān yú zì jǐ hé mā mā zhī jiān de gù shì .
The No. 1 movie at the Chinese New Year box office this year is a comedy about the actress and her mother.
主人公穿越到了她妈妈年轻时候的那个年代，跟他的妈妈像姐妹一样的相处。同时，她还极力地想要帮助妈妈找一个更好的丈夫。
zhǔ rén gōng chuān yuè dào le tā mā mā nián qīng shí hòu de nà gè nián dài , gēn tā de mā mā xiàng jiě mèi yí yàng de xiāng chǔ . tóng shí , tā hái jí lì dì xiǎng yào bāng zhù mā mā zhǎo yí gè gèng hǎo de zhàng fū .
The protagonist travels back to the time when her mother was you...2021-02-2500 minChinese Cabin你喜欢看书吗这是一个信息大爆炸的时代，这是一个娱乐化的时代。
zhè shì yí gè xìn xī dà bào zhà de shí dài , zhè shì yí gè yú lè huà de shí dài .
This is an age of information explosion, this is an age of entertainment.
大多数的人都极少读书，大家每天忙着在手机上社交，看娱乐新闻，看搞笑的视频，更加没有时间静下心来去看书。
dà duō shù de rén dōu jí shǎo dú shū , dà jiā měi tiān máng zhe zài shǒu jī shàng shè jiāo , kàn yú lè xīn wén , kàn gǎo xiào de shì pín , gèng jiā méi yǒu shí jiān jìng xià xīn lái qù kàn shū .
Most people read very little. We're too busy socializing on our phones, watching entertainment news, and watching funny videos, and have no tim...2021-02-2401 min
The WJ Show居家乐 | feat. IndraBringing the studio to my guests to chat and play.2020-12-2937 min
The WJ ShowFeliz Navidad by José Feliciano | Dizi coverThis is my first Christmas song cover. Wishing all a Merry Christmas! Feliz Navidad!2020-12-2302 min
The WJ Show居家乐 | feat. Myself!Bringing the studio to my guests to chat and play.2020-12-2026 min
The WJ Show居家乐 | feat. Anson LimBringing the studio to my guests to chat and play. 2020-12-2046 min
The WJ Show居家乐 | feat. Joel and Yu YaoBringing the studio to my guests to chat and play.2020-12-2034 min
The WJ Show居家乐 | feat. Johnson LeeBringing the studio to my guests to chat and play.2020-12-2034 min
The WJ Show居家乐 | feat. Lim Choo LiBringing the studio to my guests to chat and play.2020-12-2051 min
The WJ Show居家乐 | feat. Marcus ChowBringing the studio to my guests to chat and play.2020-12-2044 min
The WJ Show居家乐 | feat. Tan Sung WahBringing the studio to my guests to chat and play.2020-12-2029 min
The WJ Show居家乐 | feat. Vanessa and MitchBringing the studio to my guests to chat and play.2020-12-2027 minThe WJ ShowWJ Rediscovers: Siong Leng Musical AssociationI had the great privilege to chat with the principal musicians of Siong Leng Musical Association, Ming Fong and Ming Yi.
[WJ Rediscovers] is a podcast series where I rediscover my experience in music and other aspects of life as a Singaporean musician.2020-12-0141 min
Pure Forever’s Podcast濟公活佛救世真經濟公活佛救世真經
jì gōng huó fó jiù shì zhēn jīng
濟世群生照三千 公正無私可達天
jì shì qún shēng zhào sān qiān gōng zhèng wú sī kě dá tiān
活用真經傳萬世 佛法無邊化大千
huó yòng zhēn jīng chuán wàn shì fó fǎ wú biān huà dà qiān
真經應運出 災消劫除大道尊 修身化世立功勳
zhēn jīng yìng yùn chū zāi xiāo jié chú dà dào zūn xiū shēn huà shì lì gōng xūn
八八聖贒紀 佛聖仙真發慈悲 德澤群生得光輝
bā bā shèng xián jì fó shèng xiān zhēn fā cí bēi dé zé qún shēng dé guāng huī
東來紫氣展 普渡三曹開妙玄 應身下凡師天然
dōng lái zǐ qì zhǎn...2020-06-2121 min
Podcasting is Forbidden in the Cloud RecessesPodRecesses Extended Universe “Special” #1: CharactersHey, stuff is kinda weird this week, but since schedule slip is forbidden in the Cloud Recesses, we’ve got a bit of meta for you today! In this “special” “””episode””” we talk all about the characters in this show/novel/ice cream ad vehicle, because there’s a lot of ’em, and they’ve got about 5 outfits between them all. Guest disciple Scout helps us as we navigate back and forth between regular vampire times and double vampire times, separate your -juns from your -bigboys, and determine who can Come Home! Enjoy!Intro: Luis Fonsi ft. Daddy Yankee – Despacito...2019-06-171h 31
Learning Chinese through Stories3.1.5B《生活是一场妥协》Story explanation ( Part B) of 3.1.5《生活是一场妥协》 词汇；拼音；词性；意思 毕业;bì yè;Verb;to graduate; to finish school 调侃;tiáo kǎn;Verb;to tease 称为;chēng wéi;Verb; to call sth (by a name) 加班;jiā bān;Verb;to work overtime 称呼;chēng hu;Noun;form of address 多少;duō shǎo;Adv;somewhat 尊严;zūn yán;Noun;dignity 生存;shēng cún;Verb;to survive 妥协;tuǒ xié;Noun/Verb;to compromise; a compromise 的确;dí què;Adv;indeed 牺牲;xī shēng;Noun/verb;to sacrifice (something valued) 同龄人;tóng líng rén;Noun;peer; person of the sa...2019-06-0254 minChinese CabinThe Day of 5205月20日，鲜花价格至少涨了一倍。从消费上看，预计有45.92%的人花费达500元以上。这是为什么呢
5月20日wǔ yuè èr shí rì ，鲜花xiān huā 价格jià gé 至少zhì shǎo 涨了zhǎng le 一倍yí bèi 。从cóng 消费xiāo fèi 上shàng 看kàn ，预计有yù jì yǒu 45.92%bǎi fēn zhī sì shí wǔ diǎn jiǔ èr 的人de rén 话费huā fèi 达dá 500元wǔ bǎi yuán 以上yǐ shàng 。这是zhè shì 为什么wèi shén me 呢ne
On May 20th, the price of flowers at least doubled. In terms of consumption, 45.92% of people are expected to spend up to more than 500 yuan. Why is that?
5月20日被称作“520表白日”，因为520是中文”我爱你”的谐音。
5月20日wǔ yuè èr shí rì 被称作bèi chēng zuò 520“wǔ èr líng 表白日biǎo bái rì ”，因为yīn wèi 520wǔ èr líng 是shì 中文zhōng...2019-05-2507 min
The Official ChinesePod BlogiCloud Photo Leak and Attitudes towards Sex in ChinaFollowing are the words we've talked about in this episode.
好莱坞 hǎo lái wū: Hollywood手提电脑 shǒu tí diàn nǎo: laptop纯洁 chún jié: pure; chastity下流 xià liú: indecency富二代 fù èr dài: second generation rich不检点 bù jiǎn diǎn: not be on one's good behavior骇客 hài kè: hacker黑客 hēi kè: hacker不雅照 bù yǎ zhào: indelicate photo开放 kāi fàng: open坦荡 tǎn dàng: light heart贞洁 zhēn jié: chastity求种 qiú zhǒng: asking for a link or BT seed虚伪 xū wěi: false; hypocritical闷骚 mēn sāo: restrained渣男 zhā nán...2014-09-1830 min
Important Chinese Things with Jenny Zhu · Learn Chinese · ChinesePod · QingweniCloud Photo Leak and Attitudes towards Sex in ChinaFollowing are the words we've talked about in this episode.
好莱坞 hǎo lái wū: Hollywood手提电脑 shǒu tí diàn nǎo: laptop纯洁 chún jié: pure; chastity下流 xià liú: indecency富二代 fù èr dài: second generation rich不检点 bù jiǎn diǎn: not be on one's good behavior骇客 hài kè: hacker黑客 hēi kè: hacker不雅照 bù yǎ zhào: indelicate photo开放 kāi fàng: open坦荡 tǎn dàng: light heart贞洁 zhēn jié: chastity...2014-09-1830 min