dani-tro/judged_pairs_informal_emb_informal_proof_sim_lin_harmonic
Viewer • Updated • 200 • 8
Daniel Tropolinov
dani-tro
AI & ML interests
None yet
Organizations
None yet
dani-tro/judged_pairs_formal_emb_informal_proof_sim_lin_harmonic_weighted
Viewer • Updated • 200 • 8
dani-tro/judged_pairs_formal_emb_informal_proof_sim_lin_harmonic
Viewer • Updated • 200 • 10
dani-tro/judged_pairs_formal_emb_informal_proof_sim_lin_weightedIC
Viewer • Updated • 200 • 8
dani-tro/judged_pairs_formal_emb_informal_proof_sim_lin_clipped_200_1-5
Viewer • Updated • 200 • 8
dani-tro/judged_pairs_formal_emb_informal_proof_sim_jiang_jaccard_0.3
Viewer • Updated • 200 • 8
dani-tro/judged_pairs_formal_emb_informal_proof_sim_lin_jaccard_0.3
Viewer • Updated • 200 • 9
dani-tro/judged_pairs_formal_emb_informal_proof_sim_lin_clipped_400_1-2_jaccard_7
Viewer • Updated • 200 • 9
dani-tro/judged_pairs_formal_emb_informal_proof_sim_lin_clipped_400_1-2_jaccard_3
Viewer • Updated • 200 • 9
dani-tro/judged_pairs_formal_emb_informal_proof_sim_lin_clipped_400_1-2
Viewer • Updated • 200 • 8
dani-tro/judged_pairs_formal_emb_informal_proof_sim_lin_clipped_200_2
Viewer • Updated • 3 • 11
dani-tro/judged_pairs_formal_emb_informal_proof_sim_lin_clipped
Viewer • Updated • 3 • 9
dani-tro/judged_pairs_formal_emb_informal_proof_sim_lin
Viewer • Updated • 200 • 9
dani-tro/judged_pairs_formal_emb_informal_proof
Viewer • Updated • 200 • 8
dani-tro/Goedel-cleaned-informal-embeddings
Viewer • Updated • 29.8k • 7
dani-tro/judged_pairs_formal_emb_full_proof
Viewer • Updated • 200 • 12
dani-tro/wiki_descr_embeddings
Viewer • Updated • 6.44k • 7
dani-tro/wiki_descr_first10
Viewer • Updated • 10 • 5
dani-tro/Goedel-cleaned-formal-embeddings
Viewer • Updated • 29.8k • 9
dani-tro/Goedel-cleaned-formal
Viewer • Updated • 29.8k • 7
dani-tro/Goedel-cleaned-informal
Viewer • Updated • 29.8k • 7