Skip to content
View Peiyang-Song's full-sized avatar
95 followers · 26 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Starstruckx3Achievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Starstruckx3Achievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@ucsb @lean-dojo @psychology-of-AI

Block or report Peiyang-Song

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Peiyang-Song/README.md
  • 👋 I am a 4th-year undergraduate majoring in Computer Science at California Institute of Technology (Caltech), advised by Prof. Steven Low, with a Robotics minor advised by Prof. Günter Niemeyer.
  • 🔎 My research focuses on LLM reasoning, agentic AI, and neuro-symbolic AI. I aim to advance intelligent agents capable of rigorous reasoning by combining the strengths of neural and symbolic paradigms. Feel free to visit my academic website or Scholar page for more detailed information.
  • 📫 I am open to collaborations/discussions. Feel free to email me at psong@caltech.edu.

Pinned Loading

  1. lean-dojo/LeanCopilot lean-dojo/LeanCopilot Public

    LLMs as Copilots for Theorem Proving in Lean

    C++ 1.2k 122

  2. lean-dojo/LeanDojo lean-dojo/LeanDojo Public

    Tool for data extraction and interacting with Lean programmatically.

    Python 764 117

  3. lean-dojo/ReProver lean-dojo/ReProver Public

    Retrieval-Augmented Theorem Provers for Lean

    Python 316 69

  4. psychology-of-AI/Personality-Illusion psychology-of-AI/Personality-Illusion Public

    The Personality Illusion: Revealing Dissociation Between Self-Reports & Behavior in LLMs.

    Jupyter Notebook 105 7

  5. pat-jj/Awesome-Adaptation-of-Agentic-AI pat-jj/Awesome-Adaptation-of-Agentic-AI Public

    Repo for "Adaptation of Agentic AI"

    596 49

  6. Awesome-LLM-Reasoning-Failures Awesome-LLM-Reasoning-Failures Public

    Repo for "Large Language Model Reasoning Failures"

    106 8