@@ -90,13 +90,13 @@ <h1 class="title is-1 publication-title">FinChain: A Symbolic Benchmark for Veri
9090 < a href ="https://openreview.net/profile?id=~Jimin_Huang1 "> Jimin Huang</ a > < sup > 5</ sup > ,
9191 </ span >
9292 < span class ="author-block ">
93- < a href ="https://scholar.google.com/citations?user=yRNsFuMAAAAJ&hl=zh-CN " target ="_blank "> Jinyan Su</ a > < sup > 7 </ sup > ,
93+ < a href ="https://scholar.google.com/citations?user=yRNsFuMAAAAJ&hl=zh-CN " target ="_blank "> Jinyan Su</ a > < sup > 6 </ sup > ,
9494 </ span >
9595 < span class ="author-block ">
9696 < a href ="https://scholar.google.com/citations?user=GaikUuEAAAAJ&hl=en " target ="_blank "> Aaryamonvikram Singh</ a > < sup > 1</ sup > ,
9797 </ span >
9898 < span class ="author-block ">
99- < a href ="https://scholar.google.com/citations?user=BozhDOcAAAAJ&hl=en " target ="_blank "> Rui Xing</ a > < sup > 8 </ sup > ,
99+ < a href ="https://scholar.google.com/citations?user=BozhDOcAAAAJ&hl=en " target ="_blank "> Rui Xing</ a > < sup > 7 </ sup > ,
100100 </ span >
101101 < span class ="author-block ">
102102 < a href ="https://scholar.google.com/citations?user=ic1jai8AAAAJ&hl=en " target ="_blank "> Rania Elbadry</ a > < sup > 1</ sup > ,
@@ -114,10 +114,10 @@ <h1 class="title is-1 publication-title">FinChain: A Symbolic Benchmark for Veri
114114 < a href ="https://scholar.google.com/citations?user=o5YAI9wAAAAJ&hl=en " target ="_blank "> Ivan Koychev</ a > < sup > 4</ sup > ,
115115 </ span >
116116 < span class ="author-block ">
117- < a href ="https://scholar.google.com/citations?user=C5S9JnIAAAAJ&hl=en " target ="_blank "> Tanmoy Chakraborty</ a > < sup > 9 </ sup > ,
117+ < a href ="https://scholar.google.com/citations?user=C5S9JnIAAAAJ&hl=en " target ="_blank "> Tanmoy Chakraborty</ a > < sup > 8 </ sup > ,
118118 </ span >
119119 < span class ="author-block ">
120- < a href ="https://scholar.google.com/citations?user=8MshEYoAAAAJ&hl=en " target ="_blank "> Yuxia Wang</ a > < sup > 10 </ sup > ,
120+ < a href ="https://scholar.google.com/citations?user=8MshEYoAAAAJ&hl=en " target ="_blank "> Yuxia Wang</ a > < sup > 9 </ sup > ,
121121 </ span >
122122 < span class ="author-block ">
123123 < a href ="https://scholar.google.com/citations?user=xLSkCrIAAAAJ&hl=en " target ="_blank "> Salem Lahlou</ a > < sup > 1</ sup > ,
@@ -357,3 +357,4 @@ <h2 class="title">BibTeX</h2>
357357
358358
359359
360+
0 commit comments