Chong Shao - Podcast Details

Shows

PaperLedgeComputation and Language - DeepSeek-Prover-V2 Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal DecompositionHey learning crew, Ernis here, and welcome back to PaperLedge! Today, we're diving into the fascinating world of AI and mathematics, specifically how we're teaching computers to actually prove theorems. Now, I know that might sound a little dry, but trust me, it's anything but. We're talking about building an AI – called DeepSeek-Prover-V2 - that can not only understand complex mathematical problems but also construct airtight proofs, just like a mathematician would. Think of it as giving a computer the ultimate logic puzzle to solve. So, how did the researchers do it? Well, imagine you're tr...2025-05-0106 min

Daily Paper CastDeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning 🤗 Upvotes: 109 | cs.CL, cs.AI, cs.LG Authors: DeepSeek-AI, Daya Guo, Dejian Yang, Haowei Zhang, Junxiao Song, Ruoyu Zhang, Runxin Xu, Qihao Zhu, Shirong Ma, Peiyi Wang, Xiao Bi, Xiaokang Zhang, Xingkai Yu, Yu Wu, Z. F. Wu, Zhibin Gou, Zhihong Shao, Zhuoshu Li, Ziyi Gao, Aixin Liu, Bing Xue, Bingxuan Wang, Bochao Wu, Bei Feng, Chengda Lu, Chenggang Zhao, Chengqi Deng, Chenyu Zhang, Chong Ruan, Damai Dai, Deli Chen, Dongjie Ji, Erhang Li, Fangyun Lin, Fucong Dai, Fuli Luo, Guangbo Hao, Guanting Chen, Guowei Li, H. Zhang, Han Bao, Hanwei Xu, Haocheng Wang, Honghui Ding, Hua...2025-01-2421 min

Daily Paper CastOpenAI o1 System Card 🤗 Upvotes: 12 | cs.AI Authors: OpenAI, :, Aaron Jaech, Adam Kalai, Adam Lerer, Adam Richardson, Ahmed El-Kishky, Aiden Low, Alec Helyar, Aleksander Madry, Alex Beutel, Alex Carney, Alex Iftimie, Alex Karpenko, Alex Tachard Passos, Alexander Neitz, Alexander Prokofiev, Alexander Wei, Allison Tam, Ally Bennett, Ananya Kumar, Andre Saraiva, Andrea Vallone, Andrew Duberstein, Andrew Kondrich, Andrey Mishchenko, Andy Applebaum, Angela Jiang, Ashvin Nair, Barret Zoph, Behrooz Ghorbani, Ben Rossen, Benjamin Sokolowsky, Boaz Barak, Bob McGrew, Borys Minaiev, Botao Hao, Bowen Baker, Brandon Houghton, Brandon McKinzie, Brydon Eastman, Camillo Lugaresi, Cary Bassin, Cary Hudson, Chak Ming Li, Charles de Bourcy, Che...2024-12-2525 min

Papers Read on AIDeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree SearchWe introduce DeepSeek-Prover-V1.5, an open-source language model designed for theorem proving in Lean 4, which enhances DeepSeek-Prover-V1 by optimizing both training and inference processes. Pre-trained on DeepSeekMath-Base with specialization in formal mathematical languages, the model undergoes supervised fine-tuning using an enhanced formal theorem proving dataset derived from DeepSeek-Prover-V1. Further refinement is achieved through reinforcement learning from proof assistant feedback (RLPAF). Beyond the single-pass whole-proof generation approach of DeepSeek-Prover-V1, we propose RMaxTS, a variant of Monte-Carlo tree search that employs an intrinsic-reward-driven exploration strategy to generate diverse proof paths. DeepSeek-Prover-V1.5 demonstrates significant improvements over DeepSeek-Prover-V1, achieving new state-of-the-art results on the test...2024-08-2347 min

Papers Read on AIDeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code IntelligenceWe present DeepSeek-Coder-V2, an open-source Mixture-of-Experts (MoE) code language model that achieves performance comparable to GPT4-Turbo in code-specific tasks. Specifically, DeepSeek-Coder-V2 is further pre-trained from an intermediate checkpoint of DeepSeek-V2 with additional 6 trillion tokens. Through this continued pre-training, DeepSeek-Coder-V2 substantially enhances the coding and mathematical reasoning capabilities of DeepSeek-V2, while maintaining comparable performance in general language tasks. Compared to DeepSeek-Coder-33B, DeepSeek-Coder-V2 demonstrates significant advancements in various aspects of code-related tasks, as well as reasoning and general capabilities. Additionally, DeepSeek-Coder-V2 expands its support for programming languages from 86 to 338, while extending the context length from 16K to 128K. In standard...2024-07-0437 min

In Good Faith28: Everything In Its Right PlaceOn today’s show, Chong and Dan look back on an eventful year. Along major dimensions - in technology, in geopolitics, in our socio-emotional lives, it feels like things are accelerating and spinning out of control. This leads to a discussion about peace - what is it, and how can we achieve it? Why does it seem like peace is only ever temporary? Where does chaos and disorder come from, that disturb the peace? Dan concludes with reflections on where ultimate peace is found - yes, Jesus - but goes to great lengths to explain this in the least-trite wa...2023-12-311h 11

In Good Faith27: We Are Not ReadyOn today’s show, Chong and Dan plant their flag on the next transformational change facing society: Artificial Intelligence (AI). After a decades-long pursuit, pioneering researchers and organisations have been releasing AI products into the world, with amazing and unsettling results. We provide a primer on AI, focusing on ChatGPT and its Large Language Model relatives. Then Chong provides Dan with three near-future, AI-driven scenarios, to spark a discussion of what could come next. AI seems set to disrupt society, but we are still unsure by how much, given that so much of society still operates in the physical wo...2023-04-211h 12

In Good Faith26: You're Only HumanOn today’s show, Chong and Dan share what’s been going on in our lives during a busy 2022. This gets us to unpack the concept of “busyness”, and how we in modern society constantly strain against our limits and wonder if we are doing “enough”. Drawing on insights from the book You’re Only Human, we consider how limits are not an inherently bad thing. We also explore the root of our busyness, namely pride in pursuing our own interests and seeking to be the master of our own lives. We conclude with a call to not be everything, ev...2022-12-281h 07

In Good Faith25: The Return of HistoryOn today’s show, Chong and Dan examine the elephant in the current affairs room - the Russo-Ukrainian War. We start by introducing the frame of the End of History, the famous work of political philosophy which posited liberal democracy as the final form of human government after the Cold War. The 1990s and 2000s were great, but now History is back with a vengeance. Rather than discussing the intricacies of the war, we unpack why the war matters by reflecting on four ideas:There is such a thing as good and evilDecadence is bad… war is so much...2022-04-301h 05

In Good Faith24: The Experience MachineOn today’s show, Chong and Dan plants the flag on a topic that is looming large on the horizon: the metaverse. We begin by exploring how previous technologies have transformed society and worship, including automobiles (leading to megachurches) and smartphones (leading to Instavangelists). The metaverse looks like the next “big thing”. What is it, and why should people (including Christians) care about it? Drawing on a Gospel Coalition article, we critically examine the metaverse through three lenses: (i) identity, (ii) physicality and (iii) limits, and call for more wisdom in how people interact with the metaverse.Music...2022-02-191h 07

In Good Faith23: You Belong With MeOn today’s show, Chong and Dan commemorate an important milestone - after 10 years, Dan has completed bible college! The main topic of our show is “belonging”. We reflect on what is special about this word - it is passive (we don’t “do” it), and it is always in relation to something or someone else. Belonging is also a core part of our identity. Therefore it is no surprise that in our individualistic culture, there is a “crisis” of both belonging and identity. What is the “solution”? Dan boldly claims that true belonging cannot be fulfilled by this world, but rather gra...2021-12-241h 03

Dentists, Puns, and MoneyDr. Chong Shao - Jones County Family DentistryDr. Chong Shao spent his first four years as a dentist exploring multiple practice models in multiple states.That experience helped shape his long-term vision and desire to own and operate two practices with his wife, Dr. Katie Nagel Chao, in small-town Iowa.Listen to the latest episode of The Practice Growth Podcast to learn more about:How Dr. Shao and his wife have split different dental procedures between practices to best suit their respective clinical interests and strengths.The process of merging two different practices and staffs into one shared vision.What Dr...2021-12-0130 min

In Good Faith22: Know YourselfOn today’s show, Chong and Dan begin with some special news (which explains why we're a bit late with this one). We then reflect a little bit more on the topic of slack, which really resonated with our listeners. From there, we delve into the practical matter of "knowing yourself" - how do you know how you are going? Dan and Chong discuss four sources of information:What your body tells youWhat your mind tells youWhat your conscience tells youWhat others tell youNOTE: We are conducting a short survey to better understand an...2021-09-291h 09

In Good Faith21: Cut Some SlackOn today’s show, Chong and Dan follow up on the topic of building by addressing one of the barriers to it - lack of capacity. We begin by surveying the cultural and economic landscape, where “efficiency” reigns. Dan gets real by sharing about how the pursuit of efficiency is impacting his personal life. We then dive into the antidote to efficiency: slack. What does it mean to have slack and what does the Bible have to say about it? Dan and Chong then ride their respective hobby horses - ministry and finances - in applying slack to our own li...2021-08-071h 02

In Good Faith20: Time to BuildOn today’s show, Chong and Dan begin by reflecting on the one year anniversary of In Good Faith. We share things we’ve learned, our favourite episodes, and give a heartfelt thanks to our excellent listeners. From there we launch into the topic of building things (not to build up our resume, but to build for others and our society). What are the barriers to building, what does the Bible have to say about building, and what are own experiences with building? We conclude with an exhortation to our listeners - what are you building, or helping other peop...2021-07-021h 11

In Good Faith19: The Wisdom PyramidOn today’s show, Chong and Dan continue discussing the book “The Wisdom Pyramid” by Christian author Brett McCracken. We begin by distinguishing information (which we covered in the previous episode) from wisdom, and note how the latter is about the practical - doing, applying, discerning and living well. We then examine each layer of Brett’s pyramid, starting from the foundational aspect (the Bible) and working our way up. Along the way we share our personal experiences and failings, and present some challenges and exhortations for our listeners.Note: we experienced some technical difficulties that reduced the qual...2021-05-311h 08

In Good Faith18: Information OverloadOn today’s show, Chong and Dan begin a two-parter on the book “The Wisdom Pyramid” by Christian author Brett McCracken. In the first episode, we set the scene by discussing a particularly modern sickness: information obesity. As with the abundance of food, so today there is an abundance of information. We explore why this is a problem, and share three information habits from our personal lives that make us “sick”. In the next episode, we will unpack the sources of truth that lead to a life of wisdom.Connect with usInstagram - https://ww...2021-04-301h 03

In Good Faith17: Uncovering CultureOn today’s show, Chong and Dan temporarily get into sports (American football). We use this as a launching point to talk about organisational culture. What is it, how is it created and sustained, and how can we affect it? Culture is a powerful and invisible force driving the behaviour of every collective human endeavour. We look at examples from the real world, including Dan’s personal and professional observations of how a culture of outward righteousness and inward spiritual emptiness can be perpetuated within the church 🔥🔥 Connect with usInstagram - https://www.instagram...2021-03-201h 08

In Good Faith16: Mo Morals Mo ProblemsOn today’s show, Chong and Dan start by explaining our absence (there’s a good reason!) and sharing our resolutions for 2021. We then get into the realm of philosophy by exploring how one can resolve moral dilemmas. After a quick visit to the Enlightenment, we explore two well-known approaches to moral thinking, utilitarianism and deontological ethics. Finally, we apply them to a case study involving COVID-19 vaccines. How do they help us to think through the issues, what are their weaknesses, and what does Christianity have to say about moral dilemmas?Connect with usIn...2021-02-121h 09

In Good Faith15: American IdolsOn today’s show, Chong and Dan give thanks for a challenging but fulfilling year. We then get into a juicy topic to finish the year: the relationship between religion and politics. Why is it “complicated”? And what are the dangers when Christians idolise politics? Using the Jericho March held in Washington DC on 12 December 2020 as a case study, we explore four kinds of faulty faith:Our personal experience and feeling are paramount (An individualistic faith)God’s purposes are for us (An optimistic faith)We are pure, they are evil (A Manichean faith)We can and must create a...2020-12-301h 08

In Good Faith14: Let's Talk About Trump (Part II)On today's show, Chong and Dan continue their discussion on Donald Trump. In the previous episode, we tried in good faith to understand Trump and what he represents to his supporters. In this episode, we lay our cards on the table and explain why we think Trump is bad, and why we think it is a good thing that Trump lost his bid for re-election.Even as we take a more critical view, we try to do this as fairly as possible - first, by laying out the facts of what happened during Trump’s presidency and hi...2020-11-201h 23

In Good Faith13: Let's Talk About Trump (Part I)On today's show, Chong and Dan are unleashed. Using the 2020 US election as a launching point, we finally get to the topic that has dominated political discussion and general consciousness over the past four years - Donald Trump.We start by recapping what happened in the election and how to interpret the results. We then address the question that has been on everyone’s minds: “What’s the deal with Donald Trump?” Despite his apparent flaws, Trump is on track to win 10 million more votes in 2020 compared to 2016.We think there is a simple, comforting lie and...2020-11-191h 42

In Good Faith12: The Paradox of FreedomOn today's show, Chong and Dan return to the topic of freedom. We start by responding to a thoughtful emailer who questioned the way we traced the popular definition of freedom to the Existentialist movement. We then delve deeper into the idea that freedom is not about lack of constraints, but rather the presence of good constraints that help us to pursue good objectives. We finish by talking about the Christian perspective on freedom - what does it say that we are free from and free for, and why do we think it is compelling?Connect...2020-10-141h 04

In Good Faith11: The Crisis of FreedomOn today’s show, Chong and Dan address the idea of freedom, its promises and perils. We start with a popular definition of freedom ("I can do whatever I want, and not be subject to anything else") and trace its roots to the Existentialist philosophy of the 20th century. We then discuss examples of how this idea is expressed in (Western) society and culture, before tackling the problems with it. Rather than focusing on freedom, should we instead be thinking more carefully about the constraints and aspirations we wish to live by?Connect with us...2020-09-2659 min

In Good Faith10: Witness, Work and Worship (with John McClean)On today’s show, Chong and Dan continue their interview with John McClean. We discuss what it means for Christians to "transform" our culture and use Chong's work as a case study. Finally, using the Benedict Option book as a launching point, we discuss what it looks like for Christians to live and worship in a secularising world.John is Vice Principal of Christ College (in Sydney, NSW) and teaches in the areas of Christian Thought focusing on Systematic Theology and Ethics. He is the convenor of the Gospel, Society and Culture (GS&C) Committee of the Pr...2020-09-111h 10

In Good Faith9: Christ and Culture War (with John McClean)On today’s show, Chong and Dan is joined by John McClean to discuss the “culture war” and what Christians should think and do about it. We discuss how the culture war relates to the church’s mission to be a witness and to bless the nations.John is Vice Principal of Christ College (in Sydney, NSW) and teaches in the areas of Christian Thought focusing on Systematic Theology and Ethics. He is the convenor of the Gospel, Society and Culture (GS&C) Committee of the Presbyterian Church of NSW and he writes a regular ethics column in the P...2020-09-041h 10

In Good Faith8: The Scarecrow and the CastleOn today’s show, Chong and Dan wrap up an informal three-part cycle of shows by examining how we think, specifically via the topic of logical fallacies. We discuss two common logical fallacies that appear in everyday conversations, news, commentary, books and podcasts (other people's podcasts, of course). The straw man is when you misrepresent your opponent's argument and the motte-and-bailey is when you misrepresent your own argument - but why would you do that?Connect with usInstagram - https://www.instagram.com/ingoodfaithfmTwitter - https://twitter.com/ingoodfaithfmEmail - ingoodfaithmail@gmail.com...2020-08-211h 01

In Good Faith7: Man in the MirrorOn today’s show, Chong and Dan examine two approaches to making the world a better place, one that starts on the outside and one that starts within. We advocate for the latter and present a framework for thinking about individual wellbeing that we will revisit in future episodes. In the second part of the episode, we explore one aspect of wellbeing - practicing virtue - through examples from our own lives.Connect with usInstagram - https://www.instagram.com/ingoodfaithfmTwitter - https://twitter.com/ingoodfaithfmEmail - ingoodfaithmail@gmail.com 2020-08-071h 03

In Good Faith6: Rage in the MachineOn today's show Chong and Dan dig into the perils and problems of the internet by seeking to answer the question: "Why is everyone angry all the time?" (Or so it seems). We discuss the profound changes that communication technologies have wrought on societies and unpack how the internet is changing society today in four ways:The internet connects everyone and everythingThe internet doesn’t forgetThe internet depends on, and demands, our attentionThe internet changes how we communicateConnect with usInstagram - https://www.instagram.com/ingoodfaithfmTwitter - https://twitter.com/ingoodfaithfmEmail...2020-07-231h 02

In Good Faith5: Forgiving the PastOn today's show Chong and Dan continue the discussion about society reckoning with its complicated past, this time through the lens of biblical history. How does the Christian faith reconcile the moral failings of its protagonists with its vision of a just and perfect future? We suggest this is done through the concept of ‘grace’. What is it, how does it link to forgiveness, and how can we apply it to our present circumstances?Connect with usInstagram - https://www.instagram.com/ingoodfaithfmTwitter - https://twitter.com/ingoodfaithfmEmail - ingoodfaithmail@gmail.com...2020-07-1052 min

In Good Faith4: Shut It DownOn today's show Chong and Dan take stock of the current socio-political climate in the United States (and by extension, the rest of the West). In particular, we discuss the waves of cancellations and erasures that are occurring in newsrooms, campuses and media organisations, among other places. Why is this happening? And what are the problems that we see with this dynamic? We don’t have a satisfying answer for the way forward, but we agree that it must start with mercy and grace.Connect with usInstagram - https://www.instagram.com/ingoodfaithfmTwitter...2020-06-2356 min

In Good Faith3: The Three WorldsOn today's show Chong and Dan begin with thoughts on George Floyd's killing and its aftermath. We share our reflections on the importance of respecting this moment and how (not) to use social media. In the main part of the episode, we look at a framework for explaining society's posture towards Christianity: Positive World, Neutral World and Negative World. What do each of these mean, where are we today and how should Christians live in response?Connect with usInstagram - https://www.instagram.com/ingoodfaithfm/Twitter - https://twitter.com/ingoodfaithfmEmail - ingoodfaithmail...2020-06-111h 00

In Good Faith2: Motivated ReasoningOn today's show Chong and Dan use the COVID-19 situation as a springboard to talk about a very important concept in philosophy and psychology: motivated reasoning. What is it, when does it become a problem, what does the Bible say about it, and how can we combat it in our own lives? (Note: this episode was recorded before the protests that have occurred in the aftermath of George Floyd's killing in the United States. We refer to earlier protests against the coronavirus shelter-in-place orders.)Connect with usInstagram - https://www.instagram.com/ingoodfaithfm...2020-06-0444 min

In Good Faith1: Welcome to In Good FaithOn today's show Chong and Dan introduce the podcast and its premise. What are we trying to achieve? What does it mean to apply a 'Christian lens'? Why do we think it is important to have dialogue that is 'in good faith'? In the second part of the episode, we get vulnerable with some personal sharing on how our experiences and upbringing have shaped the thinking that we are bringing to the podcast.Connect with usInstagram - https://www.instagram.com/ingoodfaithfm/Twitter - https://twitter.com/ingoodfaithfmEmail - ingoodfaithmail@gmail.com 2020-05-3050 min