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
models 0
None public yet
datasets 21
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