AI Agent Skills

Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]

Patterns for Bayesian inference in R using brms, including multilevel models, DAG validation, and marginal effects. Use when performing Bayesian analysis.

Retrieval-Augmented Theorem Provers for Lean

Identification of trends in the stock prices of a company by performing fundamental analysis of the company. News articles were provided as training data-sets to the mod…

Sentiment analysis on tweets using Naive Bayes, SVM, CNN, LSTM, etc.

Structures and derives research formulas when the user wants to 推导公式, build a theory line, organize assumptions, turn scattered equations into a coherent derivation, or…

Diagnose existing Bayesian inference output and evaluate fitted predictions with modern ArviZ DataTree summaries, divergences, rank R-hat, ESS and Monte Carlo p

Run an adversarial mathematical workflow in Codex: verify proofs, write hard proofs, explore conjectures, search for counterexamples, and triage possible gaps. Use for i…