id
processing priority
3
site type
0 (generic, awaiting analysis)
review version
11
html import
20 (imported)
first seen date
2024-10-13 05:35:37
expired found date
-
created at
2024-10-13 05:35:37
updated at
2024-10-13 05:35:39
length
18
crc
18436
tld
86
nm parts
0
nm random digits
0
nm rare letters
0
is subdomain of id
87719371 (github.io)
previous id
0
replaced with id
0
related id
-
dns primary id
0
dns alternative id
0
lifecycle status
0 (unclassified, or currently active)
deleted subdomains
0
page imported products
0
page imported random
0
page imported parking
0
count skipped due to recent timeouts on the same server IP
0
count content received but rejected due to 11-799
0
count dns errors
0
count cert errors
0
count timeouts
0
count http 429
0
count http 404
0
count http 403
0
count http 5xx
0
next operation date
-
server bits
—
server ip
-
mp import status
20
mp rejected date
-
mp saved date
-
mp size orig
43210
mp size raw text
10441
mp inner links count
1
mp inner links status
10 (links queued, awaiting import)
title
description
image
site name
author
Kaiyu Yang
updated
2026-02-21 19:44:02
raw text
Kaiyu Yang Kaiyu Yang I am a research scientist at Meta in the Fundamental AI Research (FAIR) team. I am based in New York and work on AI/LLMs for mathematical reasoning. Before joining Meta, I was a postdoctoral scholar at Caltech, working with Pietro Perona , Yisong Yue , and Swarat Chaudhuri . I received my Ph.D. from Princeton University, where I was advised by Jia Deng and also worked with Olga Russakovsky and Danqi Chen . 杨凯峪  /  kaiyuy [MASK] meta [MASK] com  /  CV  /  Bio  /  Google Scholar  /  GitHub News We released A Survey on Deep Learning for Theorem Proving . My talk at Stanford Software Research Lunch on LeanDojo: Video . We released Lean Copilot for LLMs to act as copilots for theorem proving in Lean: Video demo . I am co-organizing the MATH-AI Workshop and the Tutorial on ML for Theorem Proving at ...
redirect type
0 (-)
block type
0 (no issues)
detected language
1 (English)
category id
index version
1
spam phrases
0
text nonlatin
3
text cyrillic
0
text characters
7407
text words
1298
text unique words
536
text lines
354
text sentences
44
text paragraphs
14
text words per sentence
29
text matched phrases
0
text matched dictionaries
0
links self subdomains
0
links other subdomains
4 - ai.meta.com, keg.cs.tsinghua.edu.cn, dsa.cs.tsinghua.edu.cn
links other domains
25 - yisongyue.com, leandojo.org, zxdu.xyz, zhaoyu-li.com, aidanswope.com, marktechpost.com, infinigen.org, kkayan.com, alejandronewell.com, image-net.org, crossminds.ai, neurips.cc, chalamala.com, genechou.com, jonbarron.info
links spam adult
0
links spam random
0
links spam expired
0
links ext activities
63
links ext ecommerce
0
links ext finance
0
links ext crypto
0
links ext booking
0
links ext news
2
links ext leaks
0
links ext ugc
53 - youtube.com, youtu.be, linkedin.com
links ext klim
0
links ext generic
4
dol status
0
dol updated
2026-02-21 19:44:02
rss path
rss status
1 (priority 1 already searched, no matches found)
rss found date
-
rss size orig
0
rss items
0
rss spam phrases
0
rss detected language
0 (awaiting analysis)
inbefore feed id
-
inbefore status
0 (new)
sitemap path
sitemap status
1 (priority 1 already searched, no matches found)
sitemap review version
2
sitemap urls count
0
sitemap urls adult
0
sitemap filtered products
0
sitemap filtered videos
0
sitemap found date
-
sitemap process date
-
sitemap first import date
-
sitemap last import date
-