search algorithm 0.0027990999999999997
inference search 0.0023574399999999997
search problem 0.002331854
large search 0.002297109
other search 0.00227792
several search 0.002275605
new search 0.002265931
search path 0.002240147
many search 0.002239694
beam search 0.0022194149999999998
search space 0.002215533
standard search 0.002180002
search algorithms 0.002155089
search methods 0.002142476
search performance 0.002121322
greedy search 0.0021212469999999997
common search 0.00211199
alternative search 0.002107113
search framework 0.002104926
search method 0.002104142
generic search 0.002080999
search scheme 0.002061173
gradient search 0.002058277
various search 0.0020545859999999997
heuristic search 0.0020476599999999998
search perfor 0.002035613
known search 0.002029509
original search 0.0020262
prominent search 0.00201384
search challenge 0.002012993
classical search 0.002009197
search variants 0.002008213
search efficiency 0.00200313
unified search 0.002003009
unifying search 0.002001668
search strategies 0.001997147
superior search 0.001994292
ious search 0.001992091
search paradigms 0.001992091
search 0.00178733
new algorithm 0.0014903709999999999
evaluation function 0.0014859699999999999
function input 0.0014175339999999998
tion function 0.001403568
inference system 0.001392658
novel algorithm 0.001366712
semantic inference 0.001313269
exact algorithm 0.0013089109999999998
possible state 0.001286042
heuristic function 0.00127992
proof system 0.001252962
generation function 0.0012451489999999999
algorithm searches 0.00124012
algorithm avg 0.0012304759999999999
function mea 0.0012275769999999999
rte system 0.001227564
state evaluation 0.001223907
same model 0.00117807
state transition 0.001160817
inference relation 0.001148058
such rules 0.001122862
single state 0.00110422
system success 0.0010656279999999999
current state 0.001046408
such lookahead 0.001040503
other states 0.001036472
lookahead node 0.001033983
single node 0.001032824
system edits 0.001029053
new states 0.001024483
such transformations 0.001022926
function 0.00101959
start state 0.001016235
initial state 0.001016095
algorithm 0.00101177
alternative node 0.0010059140000000001
similar proof 0.001000379
semantic validity 9.97307E-4
semantic phenomena 9.93829E-4
state generation 9.83086E-4
data structure 9.82784E-4
goal state 9.76001E-4
such subsequences 9.716379999999999E-4
rent state 9.644790000000001E-4
possible proof 9.589290000000001E-4
cost accuracy 9.37628E-4
node expansion 9.336959999999999E-4
probabilistic model 9.30667E-4
cost proof 9.30592E-4
proof cost 9.30592E-4
inference step 9.27525E-4
text parse 9.24083E-4
textual inference 9.17657E-4
same proof 9.100320000000001E-4
such investigation 9.068819999999999E-4
inference performance 9.041019999999999E-4
node expan 8.924149999999999E-4
inference systems 8.89776E-4
inference models 8.8802E-4
other tree 8.74971E-4
